History

Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 125 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
Semantics for possibilistic disjunctive programs. (English)
Comput. Res. Repos. 2011, Article No. 1106.0776 (2011).
3
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).
4
A novel approach to documenting artifacts at the gold museum in bogota (English)
Computers & Graphics 35, No. 4, 894-903 (2011).
5
Characterization of argumentation semantics in terms of the MM r semantics (English)
MICAI (1), 16-27 (2011).
6
An application of clasp in the study of logics (English)
LPNMR, 278-283 (2011).
7
Modeling production of resources using answer set planning (English)
CONIELECOMP, 244-249 (2011).
8
A possibilistic intuitionistic logic. (English)
Sidorov, Grigori (ed.) et al., Advances in artificial intelligence. 9th Mexican international conference on artificial intelligence, MICAI 2010, Pachuca, Mexico, November 8‒13, 2010. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-16760-7/pbk). Lecture Notes in Computer Science 6437. Lecture Notes in Artificial Intelligence, 362-373 (2010).
9
Building feature-based maps with B-splines for integrated exploration. (English)
Kuri-Morales, Angel (ed.) et al., Advances in artificial intelligence ‒ IBERAMIA 2010. 12th Ibero-American conference on AI, Bahía Blanca, Argentina, November 1‒5, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16951-9/pbk). Lecture Notes in Computer Science 6433. Lecture Notes in Artificial Intelligence, 562-571 (2010).
10
Equivalence for the $G_3^\prime$-stable models semantics. (English)
J. Appl. Log. 8, No. 1, 82-96 (2010).
11
Possibilistic semantics for logic programs with ordered disjunction. (English)
Link, Sebastian (ed.) et al., Foundations of information and knowledge systems. 6th international symposium, FoIKS 2010, Sofia, Bulgaria, February 15‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11828-9/pbk). Lecture Notes in Computer Science 5956, 133-152 (2010).
12
Genome-wide survey and evolutionary analysis of trypsin proteases in apicomplexan parasites (English)
Genomics, Proteomics & Bioinformatics 8, No. 2, 103-112 (2010).
13
MICAI (Special Sessions), 63-66 (2010).
14
A possibilistic intuitionistic logic (English)
MICAI (1), 362-373 (2010).
15
Integrated exploration based SRT-EKF (English)
MICAI (Special Sessions), 171-176 (2010).
16
Building feature-based maps with B-splines for integrated exploration (English)
IBERAMIA, 562-571 (2010).
17
Possibilistic semantics for logic programs with ordered disjunction (English)
FoIKS, 133-152 (2010).
18