Paulo Mateus, António Pacheco, Javier Pinto, Amílcar Sernadas, Cristina Sernadas  Home/Search
Context Related
| cs.math.ist.utl.pt/ft...00MPPSSpsc.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.math.ist.utl.pt/s84....publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this article we propose a Probabilistic Situation Calculus logical language (Update)
Context of citations to this paper: More
...years several re nements 3 and extensions have been proposed in order to cope with problems like temporal reasoning, concurrency, etc. [6, 19, 9, 14]. Temporal aspects are particularly relevant to our purposes. A signi cant extension in this direction is proposed in [22, 10]...
Cited by: More
Qualitative and Probabilistic Uncertainty in.. - Iocchi.. (2004) (Correct)
Reasoning about Actions with Sensing under - Qualitative And Probabilistic (Correct)
Multi-Agent Systems Specification and Certification: a.. - Gouveia, Ramos (2003) (Correct)
Active bibliography (related documents): More All
0.5: Reasoning Agents In Dynamic Domains - Baral, Gelfond (2000) (Correct)
0.3: Causal Models for Concurrent Reactive Robot Action Plans - Beetz, Grosskreutz (1998) (Correct)
0.3: Probabilistic Projection and Belief Update in the pGOLOG Framework - Grosskreutz (2000) (Correct)
Similar documents based on text: More All
0.9: Labelled Deduction Over Algebras of Truth-Values - Rasga, Sernadas, Sernadas.. (2002) (Correct)
0.8: Truth-Values as Labels: A General Recipe for Labelled .. - Sernadas.. (Correct)
0.6: Fibring Modal First-Order Logics: Completeness Preservation - Sernadas, Sernadas, Zanardo (2002) (Correct)
Related documents from co-citation: More All
2: Conditional progressive planning under uncertainty - Karlsson - 2001
2: Planning and acting in partially observable stochastic domains - Kaelbling, Littman et al. - 1995
2: Perspectives on Artificial Intelligence Planning (context) - Geffner - 2002
BibTeX entry: (Update)
Mateus, P., A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas: 2001, `Probabilistic Situation Calculus'. Annals of Math. and AI 32(1/4), 393-431. http://citeseer.ist.psu.edu/mateus00probabilistic.html More
@article{ mateus01probabilistic,
author = "Paulo Mateus and Antonio Pacheco and Javier Pinto and Amilcar Sernadas and Cristina Sernadas",
title = "Probabilistic Situation Calculus",
journal = "Annals of Mathematics and Artificial Intelligence",
volume = "32",
number = "1-4",
pages = "393-431",
year = "2001",
url = "citeseer.ist.psu.edu/mateus00probabilistic.html" }
Citations (may not include all citations):663 Some philosophical problems from the standpoint of Articial .. (context) - McCarthy, Hayes - 1969
388 The Frame Problem in the Situation Calculus: A Simple Soluti.. (context) - Reiter - 1991
187 Planning and acting in partially observable stochastic domai.. - Littman, Kaelbling et al. - 1998
69 Using temporal logics to express search control knowledge fo.. - Bacchus, Kabanza - 2000
62 Knowledge in action: Logical foundations for describing and .. (context) - Reiter - 1999
60 The Mathematica Book (context) - Wolfram - 1996
35 Some contributions to the metatheory of the Situation Calcul.. - Pirri, Reiter - 1999
22 high-level agent programming in the Situation Calculus (context) - Boutilier, Reiter et al. - 2000
17 Theoretical Probability for Applications (context) - Port - 1994
11 Non-determinism and uncertainty in the Situation Calculus - Pinto, Sernadas et al. - 2000
3 Reasoning about noisy sensors and e ectors in the Situation .. (context) - Bacchus, Halpern et al. - 1999
2 Compiling ramication constraints into e ect axioms (context) - Pinto - 1999
1 Review of computer chess comes of age by monty newborn (context) - McCarthy - 1997
1 oping Electronic Articles in Computer and Information Scienc.. (context) - Poole, the et al. - 1998
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/lcg/publist/publist.html): More
A Theory-based Topological Notion of Institution - Sernadas, Sernadas.. (Correct)
Operational Semantics and Type System for GNOME on Typed.. - Ravara, Vasconcelos (1996) (Correct)
Behavioural Types for a Calculus of Concurrent Objects - Ravara, Vasconcelos (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC