Sciweavers

Share
KR
2004
Springer
9 years 5 months ago
Logical Foundations of Negotiation: Strategies and Preferences
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Don...
KR
2004
Springer
9 years 5 months ago
Historical Remarks on Nonmonotonic Reasoning, Especially Circumscription
Humans have always done nonmonotonic reasoning, but rigorous monotonic reasoning in reaching given conclusions has been deservedly more respected and admired. Euclid contains the ...
John McCarthy
KR
2004
Springer
9 years 5 months ago
Situations, Si! Situation Terms, No!
The situation calculus, as proposed by McCarthy and Hayes, and developed over the last decade by Reiter and co-workers, is reconsidered. A new logical variant is proposed that cap...
Gerhard Lakemeyer, Hector J. Levesque
KR
2004
Springer
9 years 5 months ago
Social Roles and their Descriptions
This paper offers two main contributions. On the one hand, it establishes a general formal framework for developing a foundational ontology of socially constructed entities, in th...
Claudio Masolo, Laure Vieu, Emanuele Bottazzi, Car...
KR
2004
Springer
9 years 5 months ago
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus
The Fluent Calculus has largely been focused on building agents that work individually. However, agents often need to interact with each other to learn more about their environmen...
Yves Martin, Iman Narasamdya, Michael Thielscher
KR
2004
Springer
9 years 5 months ago
Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
Boris Mailhé, Henri Prade
KR
2004
Springer
9 years 5 months ago
Knowledge Discovery by Reversing Inductive Knowledge Representation
In a very basic sense, the aim of knowledge discovery is to reveal structures of knowledge which can be seen as being represented by structural relationships. In this paper, we ma...
Gabriele Kern-Isberner, Jens Fisseler
KR
2004
Springer
9 years 5 months ago
Weak Nonmonotonic Probabilistic Logics
Thomas Lukasiewicz
KR
2004
Springer
9 years 5 months ago
A Logic of Limited Belief for Reasoning with Disjunctive Information
The goal of producing a general purpose, semantically motivated, and computationally tractable deductive reasoning service remains surprisingly elusive. By and large, approaches t...
Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
books