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 …

Answer set programming with external source access

T Eiter, T Kaminski, C Redl, P Schüller… - … Interoperability on the …, 2017 - Springer
Access to external information is an important need for Answer Set Programming (ASP),
which is a booming declarative problem solving approach these days. External access not …

[PDF][PDF] Problem Solving Using the HEX Family.

T Eiter, C Redl, P Schüller - Computational Models of Rationality, 2016 - credl.eu
The HEX formalism has been designed as an extension of answer set programs that offers
an abstract interface to access external sources of information and computation, such as the …

Stream reasoning-based control of caching strategies in CCN routers

H Beck, B Bierbaumer, M Dao-Tran… - 2017 IEEE …, 2017 - ieeexplore.ieee.org
Routers in Content-Centric Networking (CCN) may locally cache frequently requested
content in order to speed up delivery to end users. Thus, the issue of caching strategies …

Rule-based stream reasoning for intelligent administration of content-centric networks

H Beck, B Bierbaumer, M Dao-Tran, T Eiter… - … Conference on Logics …, 2016 - Springer
Abstract Content-Centric Networking (CCN) research addresses the mismatch between the
modern usage of the Internet and its outdated architecture. Importantly, CCN routers use …

[PDF][PDF] Evaluation of Epistemic Logic Programs Based on External Atoms

A Strasser - scholar.archive.org
Answersetprogramming (ASP) withepistemicspecificationsextendsthelang… disjunctive
logic programs (DLP) to include the epistemic modal operators K and M, which express that …

A hybrid planning approach to robot construction problems

F Ahmad - 2019 - research.sabanciuniv.edu
Furthermore, I would like to extend my thanks to the lab members of Cognitive Robotics Lab
for their precious feedback. I would also like to express my regards to the jury members for …

[PDF][PDF] Entwicklung eines Vorgehensmodells zur Einführung von Remanufacturing-Prozessen am Beispiel der Fertigung eines fahrerlosen Transportsystems

M Strasser - 2022 - repositum.tuwien.at
Our planet has a finite number of natural resources. The consumption of these has steadily
increased in recent centuries. The consumption of natural raw material is closely correlated …

Rule-based Stream Reasoning for Intelligent Administration of Content-Centric Networks

H Hellwagner, K Schekotihin - Logics in Artificial Intelligence - Springer
Content-Centric Networking (CCN) research addresses the mismatch between the modern
usage of the Internet and its outdated architecture. Importantly, CCN routers use various …

[PDF][PDF] INSTITUT FUR INFORMATIONSSYSTEME

A FINZI, T LUKASIEWICZ - 2007 - Citeseer
We present the agent programming language GTGolog, which integrates explicit agent
programming in Golog with game-theoretic multi-agent planning in stochastic games …