Sciweavers

3970 search results - page 35 / 794
» A Logic For Causal Reasoning
Sort
View
IAT
2008
IEEE
14 years 2 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...
IJAR
2008
129views more  IJAR 2008»
13 years 7 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...
ICLP
2001
Springer
14 years 2 days ago
Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai...
LICS
1997
IEEE
13 years 11 months ago
First-Order Logic with Two Variables and Unary Temporal Logic
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke