A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is `application/pdf`

.

## Filters

##
###
Extending Answer Sets for Logic Programming Agents

2004
*
Annals of Mathematics and Artificial Intelligence
*

We introduce a credulous

doi:10.1023/b:amai.0000034524.89865.d2
fatcat:dvtry4y52bgmvfr4mkjexfwnmy
*answer**set*semantics*for**logic**programming**agents*. ...*Agents*communicate with each other by passing*answer**sets*obtained by updating the information received from connected*agents*with their own private information. ...*for**Logic**Programming**Agents*amai03.tex; 15/09/2003; 14:29; p.7 amai03.tex; 15/09/2003; 14:29; p.9 amai03.tex; 15/09/2003; 14:29; p.10*Extending**Answer**Sets**for**Logic**Programming**Agents*...##
###
Belief, provability, and logic programs

1995
*
Journal of Applied Non-Classical Logics
*

Furthermore, the language of the epistemic

doi:10.1080/11663081.1995.10510842
fatcat:y2s4fqionjg6fnkbmysl7p5ixe
*logic*presented here being more general than that of*extended**programs*, it offers a basic tool*for*further generalizations of the latter,*for*instance regarding ... In particular we present here,*for*the first time, embeddings into epistemic*logic*of*logic**programs**extended*with a second kind of negation under the wellfounded semantics, and contrast them to the recent ... Acknowledgments We acknowledge Esprit BRA Compulog 2 (no. 6810), and JNICT -Portugal*for*their support. Thanks to Carlos Damásio and Teodor Przymusinski*for*helpful discussions. ...##
###
Preferential Reasoning on a Web of Trust
[chapter]

2005
*
Lecture Notes in Computer Science
*

As conflicts may arise from reasoning with different knowledge sources, we use the

doi:10.1007/11574620_28
fatcat:hg42yzz4c5fqpbnyissdz24upi
*extended**answer**set*semantics, which can provide different strategies*for*solving those conflicts. ... We introduce a framework, based on*logic**programming*,*for*preferential reasoning with*agents*on the Semantic Web. ... The basic underlying reasoning framework we use*for*such an*agent*is*answer**set**programming*(ASP) [13, 3] , a*logic**programming*paradigm with a stable model semantics*for*negation as failure. ...##
###
Answer Set Programming and S4
[chapter]

2004
*
Lecture Notes in Computer Science
*

Our results clearly state interesting links between

doi:10.1007/978-3-540-30498-2_36
fatcat:nhebklhqrzdnjbfppy6jj6uz7q
*answer**set**programming*, modal*logics*and multi-*agent*systems which might bring research of these areas together. ... Moreover, by considering the full*set*of modal formulas we obtain an interesting generalization of*answer**sets*with modal connectives. ... There are however many*logics*between S4 and S5 that behave nicely with respect to our approach. Expressing*Answer**Sets*The*answer**set*semantics is a popular semantic operator*for**logic**programs*. ...##
###
Hierarchical Decision Making by Autonomous Agents
[chapter]

2004
*
Lecture Notes in Computer Science
*

We model the common knowledge base

doi:10.1007/978-3-540-30227-8_7
fatcat:77tupkogunhsfhpwjtxyixua3q
*for*such preference*agents*as a*logic**program*under the*extended**answer**set*semantics, thus allowing*for*the defeat of rules to resolve conflicts. ... Placing such*agents*in a hierarchy according to their position in the decision making process results in a system where*agents*cooperate to find solutions that are jointly preferred. ... A preferred*answer**set*M is an*extended**answer**set*that is minimal w.r.t. < among the*extended**answer**sets*. Note that a RA <*for*P corresponds to an ordered*logic**program*(OLP) P, < from [22] . ...##
###
Using methods of declarative logic programming for intelligent information agents

2002
*
Theory and Practice of Logic Programming
*

We then focus on declarative knowledge-representation methods, and review and evaluate approaches and methods from

doi:10.1017/s1471068402001576
fatcat:zy4b2jbtnje6righqsq4l2s324
*logic**programming*and nonmonotonic reasoning*for*information*agents*. ... In this paper, our interest lies in the role which some methods from the field of declarative*logic**programming*can play in the realization of reasoning capabilities*for*information*agents*. ... Acknowledgments We would like to thank the anonymous referees*for*their constructive comments which helped to improve this paper. ...##
###
Using Methods of Declarative Logic Programming for Intelligent Information Agents
[article]

2001
*
arXiv
*
pre-print

We then focus on declarative knowledge-representation methods, and review and evaluate approaches from

arXiv:cs/0108008v1
fatcat:tg6xs5g2qfhypinc7rvjv2v2t4
*logic**programming*and nonmonotonic reasoning*for*information*agents*. ... In this paper, our interest is in the role which some methods from the field of declarative*logic**programming*can play in the realization of reasoning capabilities*for*information*agents*. ... Acknowledgments We would like to thank the anonymous referees*for*their constructive comments which helped to improve this paper. ...##
###
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)
[chapter]

2011
*
Lecture Notes in Computer Science
*

We are grateful to David Pearce

doi:10.1007/978-3-642-20895-9_27
fatcat:rqk3dwy5ynfftcysafcdljneei
*for*pointers to earlier work and anonymous referees*for*their useful comments. ... The authors were partially supported by the National Science Foundation under Grants IIS-0916116 and by the IARPA SCIL*program*. ... The semantics of dl-*programs*is defined by*extending*the*answer**set*semantics to generalized*programs*.*For*this, the definition of satisfaction is*extended*to ground dl-atoms. ...##
###
Negotiation by abduction and relaxation

2007
*
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems - AAMAS '07
*

This paper studies a

doi:10.1145/1329125.1329418
dblp:conf/atal/SakamaI07
fatcat:v4h5d6yflzhcjfeaz4xgkzi7mm
*logical*framework*for*automated negotiation between two*agents*. We suppose an*agent*who has a knowledge base represented by a*logic**program*. ... To this end, we combine the techniques of*extended*abduction in artificial intelligence and relaxation in cooperative query*answering**for*databases. ... Starting from the initial agreement*set*S∩T*for*an*answer**set*S of an*agent*and an*answer**set*T of another*agent*, each*agent**extends*this*set*to reflect its own demand while keeping consistency with demand ...##
###
Combining Answer Sets of Nonmonotonic Logic Programs
[chapter]

2006
*
Lecture Notes in Computer Science
*

Then,

doi:10.1007/11750734_18
fatcat:2tu5rrpwtjfxldeugjts5rm2nu
*for*any S∈AS(Q), there is T∈AS(Pi)*for*i=1,2 such that T⊆ S. † Every*answer**set*in the compositional semantics*extends*some*answer**sets*of the original*programs*. Def. ... of*extended*disjunctive*programs*(EDP) under the*answer**set*semantics. ... P 2 . • Every permissible*answer**set*satisfies persistent beliefs of each*agent*, and*extends*some*answer**sets*of an*agent*by additional information of another*agent*. ...##
###
On Coherence and Consistence in Fuzzy Answer Set Semantics for Residuated Logic Programs
[chapter]

2009
*
Lecture Notes in Computer Science
*

In this work we recall the first steps towards the definition of an

doi:10.1007/978-3-642-02282-1_8
fatcat:hgrbkqsep5e4re4irh2op4jbmu
*answer**set*semantics*for*residuated*logic**programs*with negation, and concentrate on the development of relationships between the notions ... Fuzzy*answer**sets*Once the concept of coherence has been presented, we can introduce the notion of fuzzy*answer**set**for**extended**logic**programs*. ... Let P be a coherent*extended*residuated*logic**program*; the fuzzy*answer**set*of P is its least coherent model of P. ...##
###
Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming
[chapter]

2007
*
Lecture Notes in Computer Science
*

We present a multi-

doi:10.1007/978-3-540-69619-3_2
fatcat:7xrm6w3ulbcgviqkl4pdzxlabu
*agent*formalism based on*extended**answer**set**programming*. ... In Section 2, we review the*extended**answer**set*semantics. Section 3 presents the definitions*for*hierarchical*agents*and*agent*systems. ...*Extended**Answer**Sets*In this section we provide a short overview of*extended**answer**set*semantics*for*simple*logic**programs*[41] . ...##
###
Answer Set Programming to Model Plan Agent Scenarios

2020
*
International Journal of Artificial Intelligence & Applications
*

In this paper we explore how to take advantage of the properties of

doi:10.5121/ijaia.2020.11606
fatcat:qn6cswl6hzfotm3y6kcbaffury
*Answer**Set**Programming**for*this purpose. ... We begin our discussion by showing how*Answer**Set**Programming*can be used to model the frog's problem. We then illustrate how this problem can be represented and solved using these concepts. ... And that includes to Rene, my little frog*for*a day! ...##
###
Communicating ASP and the Polynomial Hierarchy
[chapter]

2011
*
Lecture Notes in Computer Science
*

Communicating

doi:10.1007/978-3-642-20895-9_8
fatcat:hpbfi2kwmff2rm6w2e4wrgowqa
*answer**set**programming*is a framework to represent and reason about the combined knowledge of multiple*agents*using the idea of stable models. ... We show that*extending**answer**set**programs*in this way allows us to capture the entire polynomial hierarchy. Funded by a joint Research Foundation-Flanders (FWO) project. ... Indeed, in [8] each*agent*is an Ordered Choice*Logic**Program*[2] and in [21] each*agent*uses the*extended**answer**set*semantics. ...##
###
An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

2021
*
International Journal of Interactive Multimedia and Artificial Intelligence
*

In this paper we introduce an approach to the possible adoption of

doi:10.9781/ijimai.2021.02.001
doaj:8a6cacede0734ad7bd1d96b903262fee
fatcat:cnh5qedmd5eedcx6ivdhotaxz4
*Answer**Set**Programming*(ASP)*for*the definition of microservices, which are a successful abstraction*for*designing distributed applications ... We develop a case study where we consider ASP microservices in synergy with*agents*defined in DALI, a well-known*logic*-based*agent*-oriented*programming*language developed by our research group. ... Acknowledgements We thank the anonymous reviewers*for*their interest in the DALI language, and*for*insightful suggestions about modern ASP grounders/solvers. ...
« Previous

*Showing results 1 — 15 out of 104,698 results*