[BOOK][B] Answer set solving in practice
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
to modeling problems in the area of Knowledge Representation and Reasoning (KRR) …
[HTML][HTML] LARS: A logic-based framework for analytic reasoning over streams
The increasing availability of streaming data has accelerated advances in information
processing tools that no longer store data for static querying but push information to …
processing tools that no longer store data for static querying but push information to …
Grounding and solving in answer set programming
Answer set programming is a declarative problem solving paradigm that rests upon a
workflow involving modeling, grounding, and solving. While the former is described by …
workflow involving modeling, grounding, and solving. While the former is described by …
Progress in clasp Series 3
We describe the novel functionalities comprised in clasp's series 3. This includes parallel
solving of disjunctive logic programs, parallel optimization with orthogonal strategies …
solving of disjunctive logic programs, parallel optimization with orthogonal strategies …
The dlvhex system for knowledge representation: recent advances (system description)
C Redl - Theory and Practice of Logic Programming, 2016 - cambridge.org
The dlvhex system implements the hex-semantics, which integrates answer set
programming (ASP) with arbitrary external sources. Since its first release ten years ago …
programming (ASP) with arbitrary external sources. Since its first release ten years ago …
OWL and Rules
The relationship between the Web Ontology Language OWL and rule-based formalisms has
been the subject of many discussions and research investigations, some of them …
been the subject of many discussions and research investigations, some of them …
Answer set programming modulo acyclicity
Acyclicity constraints are prevalent in knowledge representation and applications where
acyclic data structures such as DAGs and trees play a role. Recently, such constraints have …
acyclic data structures such as DAGs and trees play a role. Recently, such constraints have …
Ontologies and rules
Ontologies and rules are two established paradigms in knowledge modelling, and play an
important role for the Semantic Web. In this chapter, we present an introduction to common …
important role for the Semantic Web. In this chapter, we present an introduction to common …
A smart gateway framework for iot services
YH Lee, S Nair - … IEEE International Conference on Internet of …, 2016 - ieeexplore.ieee.org
With various connectivity and communication protocols, it is conceivable that all raw data
from sensor devices can be made available in the Internet. However, this imposes a …
from sensor devices can be made available in the Internet. However, this imposes a …
Answer set programming for stream reasoning
Answer Set Programming for Stream Reasoning Page 1 Answer Set Programming for
Stream Reasoning Thang M. Do, Seng W. Loke, and Fei Liu Dept. of CSCE, La Trobe …
Stream Reasoning Thang M. Do, Seng W. Loke, and Fei Liu Dept. of CSCE, La Trobe …