Mikael Asker, Jacek Malec  Home/Search
Context
Related
| ida.liu.se/~patdo/cogrob...33_Asker.pdf 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: ida.liu.se/~patdo/cogrob04/fin... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reasoning with limited computational resources (such as time or memory) is an important problem, in particular in cognitive embedded systems. Classical logic is usually considered inappropriate for this purpose as no guarantees regarding deadlines can be made. One of the more interesting approaches to address this problem is built around the concept of active logics. Although a step in the right direction, active logics still do not offer the ultimate solution. (Update)
Active bibliography (related documents): More All
1.3: Active Logics: A Unified Formal Approach to Episodic.. - Elgot-Drapkin, Kraus, .. (Correct)
0.5: Time-Situated Agency: Active Logic and Intention Formation - Anderson, Josyula.. (2002) (Correct)
0.5: A Minimal Calculus for Situated Multi-Agent Systems - Hartonas (2002) (Correct)
Similar documents based on text: More All
0.2: On Semantics of Reactive Rule-Based Systems - Lin, Malec, Simin (1997) (Correct)
0.2: Towards computing the parameters of the Simple Genetic Algorithm - Jonsson, Malec (2001) (Correct)
0.2: On Semantics and Correctness of Reactive Rule-Based Programs - Man Lin Jacek (Correct)
BibTeX entry: (Update)
@misc{ asker-reasoning,
author = "Mikael Asker and Jacek Malec",
title = "On Reasoning and Planning in Real-Time: An LDS-Based Approach",
url = "citeseer.ist.psu.edu/709366.html" }
Citations (may not include all citations):161 A logic of implicit and explicit belief (context) - Levesque - 1984
134 Labelled Deductive Systems (context) - Gabbay - 1996
60 Knowledge compilation and theory approximation - Selman, Kautz - 1996
35 A survey on knowledge compilation - Cadoli, Donini - 2001
22 Incremental recompilation of knowledge - Gogic, Papadimitriou et al. - 1998
11 A decidable first-order logic for knowledge representation (context) - Patel-Schneider - 1985
10 Practical reasoning and plan execution with active logic - Purang, Purushothaman et al. - 1999
9 A four-valued semantics for frame-based description language.. (context) - Patel-Schneider - 1986
9 Active logics: A unified formal approach to episodic reasoni.. (context) - Elgot-Drapkin, Kraus et al. - 1996
9 Situated reasoning within tight deadlines and realistic spac.. - Nirkhe, Kraus et al. - 1993
6 Time-Situated Reasoning Within Tight Deadlines and Realistic.. (context) - Nirkhe - 1994
5 Approximate reasoning and non-omniscient agents (context) - Cadoli, Schaerf - 1992
5 Step Logic: Reasoning Situated in Time (context) - Elgot-Drapkin - 1988
3 A Modal Active Logic with Focus of Attention for Reasoning i.. - Globerman - 1997
3 A theory and implementation of cognitive mobile robots - De Giacomo, Iochhi et al. - 1999
2 Step-logic and the three-wise-men problem (context) - Elgot-Drapkin - 1991
2 A computationally grounded logic of visibility, perception, .. - Wooldridge, Lomuscio - 2001
1 Reasoning with limited resources: An LDSbased approach (context) - Asker, Malec - 2003
1 Timing analysis of RL programs (context) - Lin, Malec - 1998
1 Logical Reasoning with Temporal Constraints (context) - Asker - 2003
1 The new logic - Gabbay, Woods - 2001
1 Is there a logic for polynomial time (context) - Ebbinghaus - 1999
1 A memory model for real-time commonsense reasoning (context) - Drapkin, Miller et al. - 1986
Documents on the same site (http://www.ida.liu.se/~patdo/cogrob04/final_papers/): More
Robel: Synthesizing and Controlling Complex Robust.. - Morisset, Infantes, .. (2004) (Correct)
Flexible Interval Planning in Concurrent Temporal Golog - Finzi, Pirri (Correct)
Schematized Aspect Maps for Robot Guidance - Wolter, Richter (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