Sciweavers

527 search results - page 17 / 106
» Towards a Natural Way of Reasoning
Sort
View
ECAI
1994
Springer
14 years 1 months ago
Reasoning by Cases without Contraposition in Default Logic
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
Yves Moinard
ATAL
2004
Springer
14 years 3 months ago
Reasoning about Rationality and Beliefs
In order to succeed, agents playing games must reason about the mechanics of the game, the strategies of other agents, other agents’ reasoning about their strategies, and the ra...
Ya'akov Gal, Avi Pfeffer
EWCBR
2004
Springer
14 years 3 months ago
Investigating Graphs in Textual Case-Based Reasoning
Textual case-based reasoning (TCBR) provides the ability to reason with domain-specific knowledge when experiences exist in text. Ideally, we would like to find an inexpensive way ...
Colleen Cunningham, Rosina Weber, Jason M. Proctor...
ICLP
2010
Springer
14 years 1 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift
DLOG
2011
13 years 1 months ago
Concept Model Semantics for DL Preferential Reasoning
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...
Arina Britz, Thomas Meyer, Ivan José Varzin...