81 search results - page 4 / 17 » Reasoning About Persistence: A Theory of Actions |
AI
2007
Springer
13 years 8 months ago
2007
Springer
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...
FROCOS
2009
Springer
14 years 11 days ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
ATAL
2010
Springer
13 years 8 months ago
2010
Springer
One of the most challenging aspects of reasoning, planning, and acting in a multi-agent domain is reasoning about what the agents know about the knowledge of their fellows, and to...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
LPNMR
1999
Springer
14 years 22 hour ago
1999
Springer
This paper continues the line of research on representing actions, on the automation of commonsense reasoning and on planning that deals with causal theories and with action langua...