Result 1 to 20 of 95 total
Enforcing logically weaker knowledge in classical logic. (English)
Xiong, Hui (ed.) et al., Knowledge science, engineering and management. 5th international conference, KSEM 2011, Irvine, CA, USA, December 12‒14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25974-6/pbk). Lecture Notes in Computer Science 7091. Lecture Notes in Artificial Intelligence, 44-55 (2011).
1
A logical analysis of rule inconsistency. (English)
Int. J. Semant. Comput. 5, No. 3 (2011).
2
Overriding subsuming rules. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 532-544 (2011).
3
Overriding subsuming rules (English)
ECSQARU, 532-544 (2011).
4
A formal analysis of logic-based argumentation systems. (English)
Deshpande, Amol (ed.) et al., Scalable uncertainty management. 4th international conference, SUM 2010, Toulouse, France, September 27‒29, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15950-3/pbk). Lecture Notes in Computer Science 6379. Lecture Notes in Artificial Intelligence, 42-55 (2010).
5
Ontology-based inference for causal explanation. (English)
Comput. Res. Repos. 2010, Article No. 1004.4801 (2010).
6
MUS-based generation of arguments and counter-arguments (English)
IRI, 239-244 (2010).
7
A formal analysis of logic-based argumentation systems (English)
SUM, 42-55 (2010).
8
Absurdity, contradictions, and logical formalisms (English)
ICTAI (1), 369-374 (2010).
9
Encoding deductive argumentation in quantified Boolean formulae. (English)
Artif. Intell. 173, No. 15, 1406-1423 (2009).
10
Bridging the gap between abstract argumentation systems and logic. (English)
Godo, Lluís (ed.) et al., Scalable uncertainty management. Third international conference, SUM 2009, Washington, DC, USA, September 28‒30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04387-1/pbk). Lecture Notes in Computer Science 5785. Lecture Notes in Artificial Intelligence, 12-27 69 (2009).
11
A default logic patch for default logic. (English)
Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1‒3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 578-589 (2009).
12
About agents that reason by case (Preliminary report) (English)
IRI, 405-410 (2009).
13
Bridging the gap between abstract argumentation systems and logic (English)
SUM, 12-27 (2009).
14
A default logic patch for default logic (English)
ECSQARU, 578-589 (2009).
15
Ontology-based inference for causal explanation. (English)
Integr. Comput.-Aided Eng. 15, No. 4, 351-367 (2008).
16
Bipolarity in bilattice logics. (English)
Int. J. Intell. Syst. 23, No. 10, 1046-1061 (2008).
17
Computational models of argument. Proceedings of COMMA 2008. 2nd international conference on computational models of argument, Toulouse, France, May 28‒30, 2008. (English)
Frontiers in Artificial Intelligence and Applications 172. Amsterdam: IOS Press (ISBN 978-1-58603-859-5/hbk). ix, 429~p. EUR~150.00; \sterling~105.00; \$~210.00 (2008).
18
Deriving explanations from causal information (English)
ECAI, 723-724 (2008).
19
Computational models of argument: Proceedings of COMMA 2008, Toulouse, France, May 28-30, 2008 (English)
Frontiers in Artificial Intelligence and Applications: COMMA 172 (2008).
20
Result 1 to 20 of 95 total
Start
Contact
Print
General Help
