Filters








981,056 Hits in 3.8 sec

Communicating Answer Set Programs

Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock, Marc Herbstritt
2010 International Conference on Logic Programming  
Although mechanisms for representing and reasoning with the combined answer set programs of multiple agents have already been proposed, the actual gain in expressivity when adding communication has not  ...  Answer set programming is a form of declarative programming that has proven very successful in succinctly formulating and solving complex problems.  ...  Let D be a positive disjunctive program and P ↓Q the focused communicating program that simulates D. M is an answer set of D iff M is an answer set of P ↓Q .  ... 
doi:10.4230/lipics.iclp.2010.34 dblp:conf/iclp/BautersJSVC10 fatcat:s2vukya2pzagnpcavzdzwkb6hq

Expressiveness of Communication in Answer Set Programming [article]

Kim Bauters and Jeroen Janssen and Steven Schockaert and Dirk Vermeir and Martine De Cock
2011 arXiv   pre-print
We find that the problem of deciding whether a literal is in some answer set of a communicating ASP program using simple communication is NP-hard.  ...  For the most part, we deliberately only consider simple programs, i.e. programs for which computing the answer sets is in P.  ...  We have introduced multi-focused answer sets for communicating programs.  ... 
arXiv:1109.2434v1 fatcat:z5bxhc6ncjdnhmkdonphunb2la

Expressiveness of communication in answer set programming

KIM BAUTERS, STEVEN SCHOCKAERT, JEROEN JANSSEN, DIRK VERMEIR, MARTINE DE COCK
2011 Theory and Practice of Logic Programming  
We find that the problem of deciding whether a literal is in some answer set of a communicating ASP program using simple communication isNP-hard.  ...  For the most part, we deliberately consider only simple programs, i.e. programs for which computing the answer sets is inP.  ...  We have introduced multi-focused answer sets for communicating programs.  ... 
doi:10.1017/s1471068411000561 fatcat:vtircf6k3jc4vfhaeufem7iyr4

Answer Set Programming Modulo Theories [chapter]

Yisong Wang, Mingyi Zhang
2011 Communications in Computer and Information Science  
Answer Set Programming is a widelyused knowledge representation framework that is well-suited for such reasoning tasks Dedicated to my loving parents, who instilled in me a life-long sense of curiosity  ...  Constraint Answer Set Programming While Answer Set Programming addressed the problem of performing defeasible reasoning on predicates, two issues that still challenge ASP are that defeasible reasoning  ...  Constraint Answer Set Programming Given a constraint answer set program Π with (V, D, C) , and an interpretation I = ⟨I f , X⟩, we define the constraint reduct of Π relative to X and I f (denoted by Π  ... 
doi:10.1007/978-3-642-23223-7_85 fatcat:llc5u4muzjavjkusk6s4fie47m

Towards Predicate Answer Set Programming via Coinductive Logic Programming [chapter]

Richard Min, Ajay Bansal, Gopal Gupta
2009 IFIP Advances in Information and Communication Technology  
Answer Set Programming (ASP) is a powerful paradigm based on logic programming for non-monotonic reasoning.  ...  In this paper we present this novel goaldirected, top-down approach to executing predicate answer set programs with co-LP.  ...  Here, we show how it can be extended for predicate answer set programs.  ... 
doi:10.1007/978-1-4419-0221-4_58 fatcat:ji33hf3terc7thxapi3lgqkq6y

Constraint-enhanced role engineering via answer set programming

Jinwei Hu, Khaled M. Khan, Yun Bai, Yan Zhang
2012 Proceedings of the 7th ACM Symposium on Information, Computer and Communications Security - ASIACCS '12  
In this paper, we apply answer set programming (ASP) to discover RBAC configurations that comply with constraints and meet various optimization objectives.  ...  We then present a flexible framework for translating the proposed problem to ASP programs. In this way, the problem can be addressed via ASP solvers.  ...  We then take a declarative approach based on Answer Set Programming (ASP) [3] .  ... 
doi:10.1145/2414456.2414499 dblp:conf/ccs/HuKBZ12 fatcat:3qn7cvpuabbxbkpihbjk2tgdx4

Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs * 1 Introduction

Bernhard Bliem
2017 licensed under Creative Commons License CC-BY Technical Communications of the 33rd International Conference on Logic Programming   unpublished
The problem solving paradigm Answer Set Programming (ASP) [12, 30, 46, 45] has become quite popular for tackling computationally hard problems.  ...  To solve hard problems efficiently via answer set programming (ASP), a promising approach is to take advantage of the fact that real-world instances of many hard problems exhibit small treewidth.  ...  The resulting program has an answer set if and only if S is not secure. However, the new constraint is not guarded.  ... 
fatcat:yd4upzccrrfe3phshxhqrjoce4

INTRODUCTION TO THE TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling CHR(PRISM)-based Probabilistic Logic Learning Inference with Constrained Hidden Markov Models in PRISM A Translational Approach to Constraint Answer Set Solving

Manuel Hermenegildo, Torsten Schaub, Regular Papers, Peter Schneider-Kamp, Jürgen Giesl, Thomas Stroeder, Alexander Serebrenik, René Thiemann, Alberto Pettorossi, Maurizio Proietti, Valerio Senni, Pablo Chico De Guzmán (+18 others)
2010 unpublished
The Logic Programming (LP) community, through the Association for Logic Programming (ALP) and its Executive Committee, decided to introduce for 2010 important changes in the way the main yearly results  ...  Both sets of papers were presented by their authors at this 26th ICLP.  ...  Set Solving Christian Drescher, Toby Walsh A Decidable Subclass of Finitary Programs Sabrina Baselice, Piero Bonatti Transformations of Logic Programs on Infinite Lists Alberto Pettorossi, Maurizio Proietti  ... 
fatcat:vi7dxqj5nrboxczt63gsrpzml4

Communicating ASP and the Polynomial Hierarchy [chapter]

Kim Bauters, Steven Schockaert, Dirk Vermeir, Martine De Cock
2011 Lecture Notes in Computer Science  
Communicating 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.  ...  Introduction Communicating answer set programming is an extension of answer set programming (ASP) in which a number of logic programs, with their own knowledge and reasoning capabilities, can communicate  ... 
doi:10.1007/978-3-642-20895-9_8 fatcat:hpbfi2kwmff2rm6w2e4wrgowqa

CPDScorer: Modeling and Evaluating Developer Programming Ability across Software Communities

Weizhi Huang, Wenkai Mo, Beijun Shen, Yu Yang, Ning Li
2016 Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering  
When modeling the programming ability of developer, a programming ability term extraction algorithm is also designed based on set covering.  ...  In this paper, we propose CPDScorer, a novel approach to modeling and scoring the programming ability of developer through mining heterogeneous information from both Community Question Answering (CQA)  ...  It is composed of five steps: (1) Identity Linkage links users between a CQA site and an OSS community. (2) Programming Ability Term Extraction extracts a set of programming ability terms based on set  ... 
doi:10.18293/seke2016-012 dblp:conf/seke/HuangMSYL16 fatcat:vpk5fdevrrcypeyxc5zrfymsm4

Introduction to the 26th International Conference on Logic Programming Special Issue [article]

Manuel Hermenegildo, Torsten Schaub
2010 arXiv   pre-print
This is the preface to the 26th International Conference on Logic Programming Special Issue  ...  , Michael Fink, Giovambattista Ianni Communicating Answer Set Programs Kim Bauters, Jeroen Janssen, Steven Schockaert, Dirk Vermeir, Martine De Cock  ...  Formalization of Psychological Knowledge in Answer Set Programming and its Applica- tion Marcello Balduccini, Sara Girotto Testing and Debugging Techniques for Answer Set Solver Development Robert  ... 
arXiv:1008.1710v1 fatcat:46s2t77rfzeenawqsjeis5h6za

Introduction to the 31st International Conference on Logic Programming special issue

THOMAS EITER, FRANCESCA TONI
2015 Theory and Practice of Logic Programming  
The 31st edition of the International Conference of Logic Programming (ICLP 2015) took place in Cork, Ireland, from 31 August 2015 to 4 September 2015, co-located with the 21st International Conference  ...  on Principles and Practice of Constraint Programming (CP 2015) and part ofGeorge Boole 200, a celebration of the life and work of George Boole who was born in 1815 and worked at the University College  ...  Faber and Martin Gebser: Rewriting Recursive Aggregates in Answer Set Programming: Back to Monotonicity • Mario Alviano and Nicola Leone: Complexity and Compilation of GZ-Aggregates in Answer Set Programming  ... 
doi:10.1017/s1471068415000356 fatcat:nmzofyplnnfo5pfi4sedn5d47m

Cooperating Answer Set Programming [chapter]

Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir
2006 Lecture Notes in Computer Science  
We present a formalism for logic program cooperation based on the answer set semantics. The system consists of independent logic programs that are connected via a sequential communication channel.  ...  When presented with an input set of literals from its predecessor, a logic program computes its output as an answer set of itself, enriched with the input.  ...  S ∈ AC(P n ), is called a global answer set for the cooperating program system.  ... 
doi:10.1007/11799573_18 fatcat:e2l243gxbfhs7idrqcwbetc7bu

An Application of Declarative Languages in Distributed Architectures: ASP and DALI Microservices

Stefania Costantini, Giovanni De Gasperis, Lorenzo De Lauretis
2021 International Journal of Interactive Multimedia and Artificial Intelligence  
In this paper we introduce an approach to the possible adoption of 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.  ...  every program admits answer sets 3 .  ... 
doi:10.9781/ijimai.2021.02.001 doaj:8a6cacede0734ad7bd1d96b903262fee fatcat:cnh5qedmd5eedcx6ivdhotaxz4

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming [chapter]

Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
2007 Lecture Notes in Computer Science  
We present a multi-agent formalism based on extended answer set programming.  ...  When presented with an input set of literals from its predecessor, an agent computes its output as an extended answer set of its program enriched with the input, carefully eliminating contradictions that  ...  Due to the results in [39] , normal answer set programming can be reduced to extended answer set programming.  ... 
doi:10.1007/978-3-540-69619-3_2 fatcat:7xrm6w3ulbcgviqkl4pdzxlabu
« Previous Showing results 1 — 15 out of 981,056 results