Result 1 to 12 of 12 total
Exploiting unfounded sets for HEX-program evaluation. (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, 160-175 (2012).
1
Parsing combinatory categorial grammar via planning in answer set programming. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 436-453 (2012).
2
Approximations for explanations of inconsistency in partially known multi-context systems. (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, 107-119 (2011).
3
Pushing efficient evaluation of HEX programs by modular decomposition. (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, 93-106 (2011).
4
Semantic reasoning with SPARQL in heterogeneous multi-context systems (English)
CAiSE Workshops, 575-585 (2011).
5
Pushing efficient evaluation of HEX programs by modular decomposition (English)
LPNMR, 93-106 (2011).
6
Approximations for explanations of inconsistency in partially known multi-context systems (English)
LPNMR, 107-119 (2011).
7
The {\sc mcs-ie} system for explaining inconsistency in multi-context systems. (English)
Janhunen, Tomi (ed.) et al., Logics in artificial intelligence. 12th European conference, JELIA 2010, Helsinki, Finland, September 13‒15, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15674-8/pbk). Lecture Notes in Computer Science 6341. Lecture Notes in Artificial Intelligence, 356-359 (2010).
8
The mcs-ie system for explaining inconsistency in multi-context systems (English)
JELIA, 356-359 (2010).
9
Finding explanations of inconsistency in multi-context systems (English)
KR (2010).
10
Performance of the birlix operating system (English)
USENIX Workshop on Microkernels and Other Kernel Architectures, 147-160 (1992).
11
Die intel ipsc systemfamilie (English)
Supercomputer, 114-124 (1990).
12
Result 1 to 12 of 12 total
Start
Contact
Print
General Help
