Sciweavers

89 search results - page 2 / 18
» A logic for ignorance
Sort
View
ISIPTA
2005
IEEE
151views Mathematics» more  ISIPTA 2005»
13 years 12 months ago
Towards a Unifying Theory of Logical and Probabilistic Reasoning
Logic and probability theory have both a long history in science. They are mainly rooted in philosophy and mathematics, but are nowadays important tools in many other fields such...
Rolf Haenni
DAGSTUHL
2007
13 years 7 months ago
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
Régis Riveret, Antonino Rotolo, Guido Gover...
DAGSTUHL
2007
13 years 7 months ago
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
We explain the raison d’ˆetre and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation...
David Makinson, Leendert W. N. van der Torre
ICLP
1994
Springer
13 years 10 months ago
Language Independence and Language Tolerance in Logic Programs
The consequences of a logic program depend in general upon both the rules of the program and its language. However the consequences of some programs are independent of the choice ...
Norman McCain, Hudson Turner
AAAI
2007
13 years 8 months ago
A Logical Theory of Coordination and Joint Ability
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
Hojjat Ghaderi, Hector J. Levesque, Yves Lesp&eacu...