Sciweavers

3970 search results - page 35 / 794
» A Logic For Causal Reasoning
Sort
View
IAT
2008
IEEE
15 years 10 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...
155
Voted
IJAR
2008
129views more  IJAR 2008»
15 years 4 months ago
Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the trea...
Teresa Alsinet, Carlos Iván Chesñeva...
113
Voted
ICLP
2001
Springer
15 years 8 months ago
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...
LICS
1997
IEEE
15 years 8 months ago
First-Order Logic with Two Variables and Unary Temporal Logic
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke