Result 1 to 20 of 147 total
An embedding of input-output logic in deontic logic programs. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 61-75 (2012).
1
A proposal for transactions in the semantic web. (English)
Antunes, Luis (ed.) et al., Progress in artificial intelligence. 15th Portuguese conference on artificial intelligence, EPIA 2011, Lisbon, Portugal, October 10‒13, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24768-2/pbk). Lecture Notes in Computer Science 7026. Lecture Notes in Artificial Intelligence, 690-703 (2011).
2
Querying OWL 2 QL and non-monotonic rules. (English)
Aroyo, Lora (ed.) et al., The semantic web ‒ ISWC 2011. 10th international semantic web conference, Bonn, Germany, October 23‒27, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-25072-9/pbk). Lecture Notes in Computer Science 7031, 338-353 (2011).
3
Local closed world reasoning with description logics under the well-founded semantics. (English)
Artif. Intell. 175, No. 9-10, 1528-1554 (2011).
4
Transaction logic with external actions. (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, 272-277 (2011).
5
Parametrized equilibrium logic. (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, 236-241 (2011).
6
Evolving logic programs with temporal operators. (English)
Balduccini, Marcello (ed.) et al., Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday. Berlin: Springer (ISBN 978-3-642-20831-7/pbk). Lecture Notes in Computer Science 6565. Lecture Notes in Artificial Intelligence, 193-212 (2011).
7
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. (English)
Comput. Res. Repos. 2011, Article No. 1103.3949 (2011).
8
Evolving reactive logic programs. (English)
Intell. Artif. 5, No. 1, 77-81 (2011).
9
A proposal for transactions in the semantic web (English)
EPIA, 690-703 (2011).
10
Transaction logic with external actions (English)
LPNMR, 272-277 (2011).
11
Parametrized equilibrium logic (English)
LPNMR, 236-241 (2011).
12
Evolving logic programs with temporal operators (English)
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 193-212 (2011).
13
Querying OWL 2 QL and non-monotonic rules (English)
International Semantic Web Conference (1), 338-353 (2011).
14
Querying in $\mathcal{EL}^{+}$ with nonmonotonic rules. (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, 1079-1080 (2010).
15
Declarative semantics for the rule interchange format production rule dialect. (English)
Patel-Schneider, Peter F. (ed.) et al., The semantic web ‒ ISWC 2010. 9th international semantic web conference, ISWC 2010, Shanghai, China, November 7‒11, 2010. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-17745-3/pbk). Lecture Notes in Computer Science 6496, 798-813 (2010).
16
Parametrized logic programming. (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, 182-194 (2010).
17
Implementing query answering for hybrid MKNF knowledge bases. (English)
Carro, Manuel (ed.) et al., Practical aspects of declarative languages. 12th international symposium, PADL 2010, Madrid, Spain, January 18‒19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11502-8/pbk). Lecture Notes in Computer Science 5937, 25-39 (2010).
18
Implementing query answering for hybrid MKNF knowledge bases (English)
PADL, 25-39 (2010).
19
Querying in [Escr ][Lscr ]+ with nonmonotonic rules (English)
ECAI, 1079-1080 (2010).
20
Result 1 to 20 of 147 total
Start
Contact
Print
General Help
