Result 1 to 20 of 48 total
A minimal model semantics for nonmonotonic reasoning. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 228-241 (2012).
1
Nested sequent calculi for conditional logics. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 14-27 (2012).
2
A tableau calculus for a nonmonotonic extension of the description logic DL-lite$_{\mathit{core}}$. (English)
Pirrone, Roberto (ed.) et al., AI*IA 2011: Artificial intelligence around man and beyond. XIIth international conference of the Italian association for artificial intelligence, Palermo, Italy, September 15‒17, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23953-3/pbk). Lecture Notes in Computer Science 6934. Lecture Notes in Artificial Intelligence, 164-176 (2011).
3
A tableau calculus for a nonmonotonic extension of $\mathcal{EL}^\bot$. (English)
Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 180-195 (2011).
4
A conditional constructive logic for access control and its sequent calculus. (English)
Brünnler, Kai (ed.) et al., Automated reasoning with analytic tableaux and related methods. 20th international conference, TABLEAUX 2011, Bern, Switzerland, July 4‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22118-7/pbk). Lecture Notes in Computer Science 6793. Lecture Notes in Artificial Intelligence, 164-179 (2011).
5
Non-classical logics for knowledge representation and reasoning. (English)
Intell. Artif. 5, No. 1, 127-131 (2011).
6
Reasoning about typicality in low complexity dls: the logics $EL^{\perp }t_{min}$ and $DL-lite_{c} t_{min}$ (English)
IJCAI, 894-899 (2011).
7
A tableau calculus for a nonmonotonic extension of the description logic $\mbox{\em DL-lite}_{\mathit{core}}$ (English)
AI*IA, 164-176 (2011).
8
A conditional constructive logic for access control and its sequent calculus (English)
TABLEAUX, 164-179 (2011).
9
A tableau calculus for a nonmonotonic extension of {\it EL}^{^}\mathcal{EL}^\bot (English)
TABLEAUX, 180-195 (2011).
10
A constructive conditional logic for access control: a preliminary report. (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 1073-1074 (2010).
11
Preferential vs rational description logics: which one for reasoning about typicality? (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 1069-1070 (2010).
12
A nonmonotonic extension of KLM preferential logic P. (English)
Fermüller, Christian G. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 17th international conference, LPAR-17, Yogyakarta, Indonesia, October 10‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16241-1/pbk). Lecture Notes in Computer Science 6397, 317-332 (2010).
13
Verifying business process compliance by reasoning about actions. (English)
Dix, Jürgen (ed.) et al., Computational logic in multi-agent systems. 11th international workshop, CLIMA XI, Lisbon, Portugal, August 16‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14976-4/pbk). Lecture Notes in Computer Science 6245. Lecture Notes in Artificial Intelligence, 99-116 (2010).
14
CSL-lean: A theorem-prover for the logic of comparative concept similarity. (English)
Electron. Notes Theor. Comput. Sci. 262, 3-16 (2010).
15
Conditional and preferential logics. Proof methods and theorem proving. (English)
Frontiers in Artificial Intelligence and Applications 208. Amsterdam: IOS Press (ISBN 978-1-60750-094-0/pbk; 978-1-60750-095-7/ebook). viii, 200~p. EUR~99.00; \$~114.00 (2010).
16
Verifying business process compliance by reasoning about actions (English)
CLIMA, 99-116 (2010).
17
Preferential vs rational description logics: which one for reasoning about typicality? (English)
ECAI, 1069-1070 (2010).
18
A constructive conditional logic for access control: a preliminary report (English)
ECAI, 1073-1074 (2010).
19
A nonmonotonic extension of KLM preferential logic P (English)
LPAR (Yogyakarta), 317-332 (2010).
20
Result 1 to 20 of 48 total
Start
Contact
Print
General Help
