A Logic Language with Stable Model Semantics for Social Reasoning-Reference-Cited by-同舟云学术

A Logic Language with Stable Model Semantics for Social Reasoning

Published:2008 Issue: Volume: Page:718-723
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Buccafurri Francesco,Caminiti Gianluca,Laurendi Rosario

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-89982-2_64

Reference9 articles.

1. Son, T.C., Pontelli, E.: A Constructive Semantic Characterization of Aggregates in Answer Set Programming. TPLP 7(3), 355–375 (2007)

2. Lecture Notes in Computer Science;W. Faber,2004

3. Calimeri, F., Faber, W., Leone, N., Perri, S.: Declarative and Computational Properties of Logic Programs with Aggregates. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 406–411. Professional Book Center (2005)

4. Ferraris, P., Lifschitz, V.: Weight Constraints as Nested Expressions. TPLP 5(1-2) (2005)

5. Brewka, G., Eiter, T.: Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems. In: AAAI, pp. 385–390. AAAI Press, Menlo Park (2007)

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Expressiveness of communication in answer set programming;Theory and Practice of Logic Programming;2011-11-01

2. Communicating ASP and the Polynomial Hierarchy;Logic Programming and Nonmonotonic Reasoning;2011

3. Nonmonotonic Multi-Context Systems: A Flexible Approach for Integrating Heterogeneous Knowledge Sources;Lecture Notes in Computer Science;2011

4. A contextual reading of conditional commitments;FRONT ARTIF INTEL AP;2010

5. COMMUNICATING ANSWER SET PROGRAMS;LEIBNIZ INT PR INFOR;2010