Sciweavers

656 search results - page 74 / 132
» Reasoning about Emotional Agents
Sort
View
KR
2004
Springer
15 years 11 months ago
A First-Order Theory of Communicating First-Order Formulas
This paper presents a theory of informative communications among agents that allows a speaker to communicate to a hearer truths about the state of the world; the occurrence of eve...
Ernest Davis
IAT
2009
IEEE
15 years 9 months ago
On the Acceptability of Meta-arguments
In this paper we introduce a theory of meta-argumentation, by using Dung’s theory of abstract argumentation to reason about itself. Metaarguments are generated from atomic argum...
Guido Boella, Leendert van der Torre, Serena Villa...
AAAI
2008
15 years 8 months ago
Metalevel Information in Ontology-Based Applications
Applications of Semantic Web technologies often require the management of metalevel information--that is, information that provides additional detail about domain-level informatio...
Thanh Tran, Peter Haase, Boris Motik, Bernardo Cue...
AAAI
2000
15 years 7 months ago
An Iterative Algorithm for Synthesizing Invariants
We present a general algorithm for synthesizing state invariants that speed up automated planners and have other applications in reasoning about change. Invariants are facts that ...
Jussi Rintanen
AAAI
2011
14 years 6 months ago
Termination and Correctness Analysis of Cyclic Control
The utility of including cyclic flow of control in plans has been long recognized by the planning community. Loops in a plan increase both its applicability and the compactness o...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...