Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator

Artificial Intelligence 103 (1-2):273-294 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(98)00054-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mints type deductive calculi for logic programming.J. C. Shepherdson - 1992 - Annals of Pure and Applied Logic 56 (1-3):7-17.
The Situation Calculus: A Case for Modal Logic. [REVIEW]Gerhard Lakemeyer - 2010 - Journal of Logic, Language and Information 19 (4):431-450.
Measurement of vessel traffic service operator performance.E. Wiersma & N. Mastenbroek - 1998 - AI and Society 12 (1-2):78-86.
leanTAP Revisited.Melvin Fitting - unknown
The Epsilon Calculus.Jeremy Avigad & Richard Zach - 2014 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. Stanford, CA: The Metaphysics Research Lab.
Semantics and Proof Theory of the Epsilon Calculus.Richard Zach - 2017 - In Ghosh Sujata & Prasad Sanjiva (eds.), Logic and Its Applications. ICLA 2017. Springer. pp. 27-47.
Knowledge and planning in an action-based multi-agent framework: A case study.Oliver Schulte - unknown
S-Storage Operators.Karim Nour - 1998 - Mathematical Logic Quarterly 44 (1):99-108.
Parsing/Theorem-Proving for Logical Grammar CatLog3.Glyn Morrill - 2019 - Journal of Logic, Language and Information 28 (2):183-216.
A Simple Cps Transformation Of Control-flow Information.Daniel Damian & Olivier Danvy - 2002 - Logic Journal of the IGPL 10 (5):501-515.
Formalization of strips in situation calculus.John McCarthy - manuscript
Non-Markovian control in the Situation Calculus.Alfredo Gabaldon - 2011 - Artificial Intelligence 175 (1):25-48.
Information-oriented computation with BABY-SIT.Erkan Tin & Varol Akman - 1996 - In Jerry Seligman & Dag Westerståhl (eds.), Logic, Language and Computation, Volume 1. Stanford, CA: Center for the Study of Language and Information Publications. pp. 19-34.
From privacy to anti-discrimination in times of machine learning.Thilo Hagendorff - 2019 - Ethics and Information Technology 21 (4):331-343.
$H^\infty $ functional calculus for an elliptic operator on a half-space with general boundary conditions.Giovanni Dore & Alberto Venni - 2002 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 1 (3):487-543.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,725,832)

6 months
2 (#1,255,269)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Add more references