4,635 Hits in 4.3 sec

Answer Set Programming with External Sources

Christoph Redl, Marc Herbstritt
2012 International Conference on Logic Programming  
of Answer Set Programs with External Source Access (FWF P24090), which gave me the opportunity to work on this interesting topic.  ...  with External Source Access (FWF P24090), in denen ich während meines Doktoratsstudiums arbeiten durfte.  ...  methods for programs with variables, and approaches of answer set programming with access to external sources and domains.  ... 
doi:10.4230/lipics.iclp.2012.469 dblp:conf/iclp/Redl12 fatcat:2yxyy6gqzrforanlqayak5cvxq

Lazy-Grounding for Answer Set Programs with External Source Access

Thomas Eiter, Tobias Kaminski, Antonius Weinzierl
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
HEX-programs enrich the well-known Answer Set Programming (ASP) paradigm. In HEX, problems are solved using nonmonotonic logic programs with bidirectional access to external sources.  ...  ., import of new constants) from external sources make an efficient solution nontrivial.  ...  Every rule r in a HEX-program Π must be safe. Moreover, to ensure external atoms introduce only finitely many new constants, we assume Π is liberal domain-expansion (lde) safe.  ... 
doi:10.24963/ijcai.2017/141 dblp:conf/ijcai/EiterKW17 fatcat:5bkue6imkbbkvatuajue2qnmhq

hex-Programs with Existential Quantification [chapter]

Thomas Eiter, Michael Fink, Thomas Krennwallner, Christoph Redl
2014 Lecture Notes in Computer Science  
HEX-programs extend ASP by external sources.  ...  In this paper, we present domain-specific existential quantifiers on top of HEX-programs, i.e., ASP programs with external access which may introduce new values that also show up in the answer sets.  ...  To cater for this need, HEX-programs [7] extend ASP with so-called external atoms, through which the user can couple any external data source with a logic program.  ... 
doi:10.1007/978-3-319-08909-6_7 fatcat:hbkb5wlp4vguhfstealm3su5gu

Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning [chapter]

Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits
2006 Lecture Notes in Computer Science  
, interfacing with external sources of computation, and default negation.  ...  Towards providing a suitable tool for building the Rule Layer of the Semantic Web, hex-programs have been introduced as a special kind of logic programs featuring capabilities for higher-order reasoning  ...  Let P be a domain-expansion safe program and let A be a global splitting set for P.  ... 
doi:10.1007/11762256_22 fatcat:p7aqldcddbbflfqdv65djw6agy

Evaluation Techniques and Systems for Answer Set Programming: a Survey

Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub
2018 Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence  
Answer set programming (ASP) is a prominent knowledge representation and reasoning paradigm that found both industrial and scientific applications.  ...  The success of ASP is due to the combination of two factors: a rich modeling language and the availability of efficient ASP implementations.  ...  HEX programs allow for equipping ASP programs with external sources of knowledge and/or computation, and the DLVHEX system features techniques to integrate the evaluation of external sources into the search  ... 
doi:10.24963/ijcai.2018/769 dblp:conf/ijcai/GebserLMPRS18 fatcat:g5iryltonjegveigyx4mobuzua

Conflict-driven ASP Solving with External Sources and Program Splits

Christoph Redl
2017 Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence  
HEX-programs extend ASP with external atoms for access to arbitrary external sources, which can also introduce constants that do not appear in the program (value invention).  ...  Answer Set Programming (ASP) is a well-known problem solving approach based on nonmonotonic reasoning.  ...  So-called external atoms pass information from the program to an external source, which returns values to the program. Notably, value invention allows for domain expansion.  ... 
doi:10.24963/ijcai.2017/172 dblp:conf/ijcai/Redl17 fatcat:p2f6tcso5zge7psbvpx47fhrb4

Modular Representation of a Business Process Planner

Shahab Tasharrofi, Eugenia Ternovska
2012 International Conference on Principles of Knowledge Representation and Reasoning  
The business process planner relies on external services for particular tasks. The tasks performed by each of the providers or the planner are often NP-complete, e.g. the Traveling Salesman Problem.  ...  We describe a knowledge representation formalism for representing such systems and then demonstrate how to use it for representing a business process planner.  ...  Modular programming enables ASP languages to be extended by constraints or other external relations. This view is explored in [8, 9, 20, 3, 16] .  ... 
dblp:conf/kr/TasharrofiT12 fatcat:ranqjzkdl5hpni7m7zxujor574

Sketched Answer Set Programming

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
2018 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)  
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models can be hard.  ...  In SkASP, the user writes partial ASP programs, in which uncertain parts are left open and marked with question marks.  ...  external sources) which are not supported by SkASP as yet.  ... 
doi:10.1109/ictai.2018.00110 dblp:conf/ictai/0001BDR18 fatcat:bb3b2blqnbd43bqimlomfgght4

Sketched Answer Set Programming [article]

Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
2018 arXiv   pre-print
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial.  ...  The user writes an ASP program while marking uncertain parts open with question marks. In addition, the user provides a number of positive and negative examples of the desired program behaviour.  ...  external sources) which are not supported by SkASP as yet.  ... 
arXiv:1705.07429v2 fatcat:o5xitj727zfn7g473x6vm5oy6a

A case study on graph-based planning for emergency evacuation

Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Salvatore Nunnari, Alessandro Provetti
2015 Italian Conference on Computational Logic  
Risk for the resident population and possible evacuation plans are evaluated and re-evaluated as the accident develops.  ...  Both the evaluation of the emergency scenario and the evacuation planning phases have been prototyped by means of an Answer Set Programming planner.  ...  The first device is the formal apparatus of ASP programs with weak constraints developed by Leone et al. and implemented in DLV.  ... 
dblp:conf/cilc/AgresteMMMNP15 fatcat:lazyxd3ugrgk3izfk7lbdnhz3a

Data Integration and Answer Set Programming [chapter]

Thomas Eiter
2005 Lecture Notes in Computer Science  
The rapid expansion of the Internet and World Wide Web led to growing interest in data and information integration, which should be capable to deal with inconsistent and incomplete data.  ...  of the application for driving research.  ...  I would like to thank all the many colleagues with whom I had the pleasure to discuss about and work on issues on data integration using non-monotonic logic programming, and here in particular the INFOMIX  ... 
doi:10.1007/11546207_2 fatcat:aqoiuvrci5bnlcszod2cr2mhta

Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper

Bernardo Cuteri, Kristian Reale, Francesco Ricca
2019 Sistemi Evoluti per Basi di Dati  
The key idea is to apply a rule-based classification process that we call template matching and that we have implemented in a prototype using logic programming.  ...  Knowledge Based Question Answering (KBQA) is concerned with the possibility of querying data by posing questions in Natural Language (NL), that is by far, the most (human) common form of expressing an  ...  We think that this can be achieved either by porting dictionary data in ASP or by using ASP extensions with external computation.  ... 
dblp:conf/sebd/CuteriRR19 fatcat:y6mjsbalkfc6xb4dumvmscvgai

A model building framework for answer set programming with external computations

2015 Theory and Practice of Logic Programming  
We present a new approach for the evaluation of logic programs with external source access, which is based on a configurable framework for dividing the non-ground program into possibly overlapping smaller  ...  AbstractAs software systems are getting increasingly connected, there is a need for equipping nonmonotonic logic programs with access to external sources that are possibly remote and may contain information  ...  This applies both to programs with external atoms, as well as to ordinary ASP programs (i.w., without external atoms).  ... 
doi:10.1017/s1471068415000113 fatcat:kq5ya4rvbnhxdd7adsmhyfj32e

Technical Report: Inconsistency in Answer Set Programs and Extensions [article]

Christoph Redl
2018 arXiv   pre-print
HEX-programs extend ASP with external atoms for accessing arbitrary external information, which can introduce values that do not appear in the input program.  ...  The second application is a new evaluation algorithm for HEX-programs based on conflict-driven learning for programs with multiple components: while for certain program classes previous techniques suffer  ...  Notably, value invention allows for domain expansion, i.e., external sources might return values which do not appear in the program.  ... 
arXiv:1806.00119v1 fatcat:gtivh7eg3rbabencjzeyv5yjri

PrASP Report [article]

Matthias Nickles
2016 arXiv   pre-print
In particular, PrASP allows for ASP as well as First-Order Logic syntax, and for the annotation of formulas with point probabilities as well as interval probabilities.  ...  PrASP is a research software which integrates non-monotonic reasoning based on Answer Set Programming (ASP), probabilistic inference and parameter learning.  ...  With the program above you would obtain the same query results as with the following PrASP program: person(a;b;c). #domain person(X). #domain person(Y). friend(X,Y).  ... 
arXiv:1612.09591v1 fatcat:6znpsfmqs5gw5jnhjgdcxi2qny
« Previous Showing results 1 — 15 out of 4,635 results