Result 1 to 20 from 28 total
Characterization of argumentation semantics in terms of the MM$^r$ semantics. (English)
Batyrshin, Ildar (ed.) et al., Advances in artificial intelligence. 10th Mexican international conference on artificial intelligence, MICAI 2011, Puebla, Mexico, November 26‒December 4, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25323-2/pbk). Lecture Notes in Computer Science 7094. Lecture Notes in Artificial Intelligence, 16-27 (2011).
1
A schema for generating relevant logic programming semantics and its applications in argumentation theory. (English)
Fundam. Inform. 106, No. 2-4, 295-319 (2011).
2
An application of clasp in the study of logics. (English)
Delgrande, James P. (ed.) et al., Logic programming and nonmonotonic reasoning. 11th international conference, LPNMR 2011, Vancouver, Canada, May 16‒19, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20894-2/pbk). Lecture Notes in Computer Science 6645. Lecture Notes in Artificial Intelligence, 278-283 (2011).
3
Characterization of argumentation semantics in terms of the MM r semantics (English)
MICAI (1), 16-27 (2011).
4
An application of clasp in the study of logics (English)
LPNMR, 278-283 (2011).
5
Modeling production of resources using answer set planning (English)
CONIELECOMP, 244-249 (2011).
6
Updates based on ASP (English)
MICAI (Special Sessions), 63-66 (2010).
7
Expressing extension-based semantics based on stratified minimal models. (English)
Ono, Hiroakira (ed.) et al., Logic, language, information and computation. 16th international workshop, WoLLIC 2009, Tokyo, Japan, June 21‒24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02260-9/pbk). Lecture Notes in Computer Science 5514. Lecture Notes in Artificial Intelligence, 305-319 (2009).
8
P-stable models of strong kernel programs. (English)
J. Algorithms 64, No. 1, 41-50 (2009).
9
Guest editorial: workshops by the logic and computation Mexican group (English)
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 13, No. 41, 1-3 (2009).
10
Expressing extension-based semantics based on stratified minimal models (English)
WoLLIC, 305-319 (2009).
11
A formal design model for mechatronic systems (English)
CONIELECOMP, 125-129 (2009).
12
Computing of p-stable models based on semi-negative normal programs with constraints (English)
ENC, 203-210 (2008).
13
Evacuation planning using answer set programming: an initial approach. (English)
Eng. Lett. 15, No. 2, 240-249 (2007).
14
Update sequences based on minimal generalized pstable models. (English)
Gelbukh, Alexander (ed.) et al., MICAI 2007: Advances in artificial intelligence. 6th Mexican international conference on artificial intelligence, Aguascalientes, Mexico, November 4‒10, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-76630-8/pbk). Lecture Notes in Computer Science 4827. Lecture Notes in Artificial Intelligence, 283-293 (2007).
15
Update sequences based on minimal generalized pstable models (English)
MICAI, 283-293 (2007).
16
Latin-american workshop on non-monotonic reasoning, Proceedings of the LA-NMR07 workshop, benemérita universidad autónoma de Puebla, Puebla, pue., Mexico, 17th - 19th September 2007 (English)
CEUR Workshop Proceedings: LA-NMR 286 (2007).
17
Preferences using answer sets (English)
LA-NMR (2006).
18
Answer set general theories and preferences (English)
MICAI, 59-69 (2006).
19
Minimal generalized answer-sets and their applications (English)
LoLaCOM (2006).
20
Result 1 to 20 from 28 total
Start
Contact
Print
General Help
