504 search results - page 19 / 101 » Observational Logic |
DATE
2003
IEEE
14 years 2 months ago
2003
IEEE
We present a visualization tool called PLFire, which allows a user to observe the behavior of a Phased Logic (PL) circuit. Phased logic is a technique for realizing self-timed cir...
JAPLL
2007
13 years 8 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
DLOG
2008
13 years 11 months ago
2008
Representing probabilistic knowledge in combination with a description logic has been a research topic for quite some time. In [1] one of such combinations is introduced. We presen...
AIEDAM
1999
13 years 8 months ago
1999
A temporal logic for representing and reasoning on a robotic domain is presented. Actions are represented by describing what is true while the action itself is occurring, and plan...
AAAI
2011
12 years 8 months ago
2011
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...