Sciweavers

858 search results - page 2 / 172
» Planning and defeasible reasoning
Sort
View
MATES
2005
Springer
15 years 3 months ago
Programming Cognitive Agents
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
John-Jules Ch. Meyer
IAT
2008
IEEE
15 years 4 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
69
Voted
INAP
2001
Springer
15 years 1 months ago
Defeasible Logic
We often reach conclusions partially on the basis that we do not have evidence that the conclusion is false. A newspaper story warning that the local water supply has been contamin...
Donald Nute
94
Voted
RULEML
2009
Springer
15 years 4 months ago
The Making of SPINdle
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
Ho-Pun Lam, Guido Governatori
ECAI
2000
Springer
15 years 1 months ago
A Family of Defeasible Reasoning Logics and its Implementation
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
Grigoris Antoniou, David Billington, Guido Governa...