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

.

## Filters

##
###
High-Level Robot Control through Logic
[chapter]

2001
*
Lecture Notes in Computer Science
*

Two such

doi:10.1007/3-540-44631-1_8
fatcat:wjraf3aicjbgvao7igbeylwqfq
*programs*for a mobile*robot*are described -one for navigation and one for map building -that share much of their code. ... The map building*program*incorporates a rudimentary*approach*to the formalisation of epistemic fluents, knowledge goals, and knowledge producing actions. ... Acknowledgements This work was carried out as part of EPSRC project GR/N13104 "Cognitive*Robotics*II". ...##
###
Logic Programming for Robot Control

1995
*
International Joint Conference on Artificial Intelligence
*

This paper proposes logic

dblp:conf/ijcai/Poole95
fatcat:vlguihpzongrbkbxxiwwwmpklu
*programs*as a specification for*robot*control. ... We show how to axiomatise reactive agents,*events*as*an*interface between continuous and discrete time, and persistence, as well as axiomatising integration and differentiation over time (in terms of the ... This work was supported by Institute for*Robotics*and Intelligent Systems, Project IC-7 and Natural Sciences and Engineering Research Council of Canada Operating Grant OGP0044121. ...##
###
An abductive event calculus planner

2000
*
The Journal of Logic Programming
*

Finally the paper shows that, if we extend the

doi:10.1016/s0743-1066(99)00077-1
fatcat:pnkze2nr3zbcnab2mdzhgau73m
*event**calculus*in a natural way to accommodate compound actions, then*using*the same*abductive*theorem proving techniques we can obtain a hierarchical planner ... In particular, the paper shows that if we adopt the*event**calculus*as our logical formalism and employ*abductive*logic*programming*as our theorem proving technique, then the computation performed mirrors ... This work was carried out as part of the EPSRC funded project GR/L20023``Cognitive*Robotics*''. ...##
###
Abductive Logic Programming

1992
*
Journal of Logic and Computation
*

*Abduction*in Logic

*Programming*started in the late 80s, early 90s, in

*an*attempt to extend logic

*programming*into a framework suitable for a variety of problems in Artificial Intelligence and other areas ... Eshghi [28] introduced

*abduction*in logic

*programming*in order to solve planning problems in the

*Event*

*Calculus*[65] . ... This procedure came out of the early attempts to implement AI-planning

*using*

*abductive*reasoning in the

*event*

*calculus*. ...

##
###
Incremental Learning of Event Definitions with Inductive Logic Programming
[article]

2014
*
arXiv
*
pre-print

In this work we present

arXiv:1402.5988v2
fatcat:t46gzf3nqjguhowakw2kf5fxc4
*an*incremental method for learning and revising*event*-based knowledge, in the form of*Event**Calculus**programs*. ... We present*an*empirical evaluation of our*approach*on real and synthetic data from activity recognition and city transport applications. ... Search:*Abductive*Solution: Example 2 Table 3 presents the process of hypothesis generation by XHAIL,*using**an*example from CAVIAR's fighting*high*-*level**event*. ...##
###
Teleo-Reactive Abductive Logic Programs
[chapter]

2012
*
Lecture Notes in Computer Science
*

In this paper, we present

doi:10.1007/978-3-642-29414-3_3
fatcat:a6ojcx5o5ba65jqcqooqoedx5i
*an**abductive*logic*programming*(ALP) representation of TR*programs*, following the example of our ALP representation of the logic-based production system language LPS. ... The model-theoretic semantics of the representation is defined by associating a logic*program*with the TR*program*, the sequence of observations and actions, and the succession of database states. ... Many thanks to Keith Clark for awakening our interest in TR*programs*, and to Clive Spencer and Alan Westwood from Logic*Programming*Associates for many*useful*discussions and for their work on the prototype ...##
###
Abduction in Logic Programming
[chapter]

2002
*
Lecture Notes in Computer Science
*

*Abduction*in Logic

*Programming*started in the late 80s, early 90s, in

*an*attempt to extend logic

*programming*into a framework suitable for a variety of problems in Artificial Intelligence and other areas ... Eshghi [28] introduced

*abduction*in logic

*programming*in order to solve planning problems in the

*Event*

*Calculus*[65] . ... This procedure came out of the early attempts to implement AI-planning

*using*

*abductive*reasoning in the

*event*

*calculus*. ...

##
###
Introduction to the 30th International Conference on Logic Programming Special Issue

2014
*
Theory and Practice of Logic Programming
*

Related Paradigms:

doi:10.1017/s1471068414000581
fatcat:6fczd6mhxjcutozkk6t23lvn5e
*Abductive*Logic*Programming*, Inductive Logic*Programming*, Constraint Logic*Programming*, Answer-Set*Programming*; Applications: Databases, Data Integration and Federation, Software Engineering ... as a special issue of Theory and Practice of Logic*Programming*(TPLP) - the30th International Conference on Logic*Programming*Special Issue. ... Simulating Dynamic Systems*Using*Linear Time*Calculus*Theories Bart Bogaerts, Joachim Jansen, Bruynooghe Maurice, Broes De Cat, Joost Vennekens and Marc Denecker. ...##
###
Robot Navigation and Map Building with the Event Calculus
[chapter]

1999
*
Lecture Notes in Computer Science
*

Two such

doi:10.1007/3-540-48747-6_33
fatcat:x3bglswsyndxtbialpxt4efm3u
*programs*for a mobile*robot*are described -one for navigation and one for map building -that share much of their code. ... In this system, a*program*is a collection of logical formulae describing the agent's relationship to its environment. ...*An**event**calculus**robot**program*comprises the following five parts. A. ...##
###
Coinductive Logic Programming
[chapter]

2006
*
Lecture Notes in Computer Science
*

As Logtalk

doi:10.1007/11799573_25
fatcat:y2kxgo26uvdzvpqp5w5kwyg7n4
*uses*as a back-end compiler a compatible Prolog system, we discuss the status of key Prolog features for*an*efficient and usable implementation of coinduction. ... We describe the implementation of coinductive logic*programming*found in Logtalk, discussing its features and limitations. ... This work is partially supported by the LEAP project (PTDC/EIA-CCO/112158/2009), the ERDF/COMPETE*Program*and by FCT project FCOMP-01-0124-FEDER-022701. ...##
###
ACLP: Abductive Constraint Logic Programming

2000
*
The Journal of Logic Programming
*

ACLP thus combines the advantages of modularity and ¯exibility of the

doi:10.1016/s0743-1066(99)00075-8
fatcat:4x6au3tqgzcerdqqtofbc7cbzq
*high*-*level*representation aorded by*abduction*together with the computational eectiveness of low-*level*specialised constraint solving ... This paper presents the framework of*Abductive*Constraint Logic*Programming*(ACLP), which integrates*Abductive*Logic*Programming*(ALP) and Constraint Logic*Programming*(CLP). ... For example, if we*use*the*Event**Calculus*[36] as our basic theory for reasoning about actions*abductive*planning is formalized within the framework of edutive ivent glulus as follows. ...##
###
Programming Rational Agents in a Modal Action Logic

2004
*
Annals of Mathematics and Artificial Intelligence
*

We give a non-monotonic solution for the frame problem by making

doi:10.1023/b:amai.0000031196.24935.b5
fatcat:x757iqclzjfdnjekzmbo7rvmdi
*use*of persistency assumptions in the context of*an**abductive*characterization. ... We propose a modal*approach*for reasoning about dynamic domains in a logic*programming*setting. Agent behavior is specified by means of complex actions which are defined*using*modal inclusion axioms. ... Acknowledgements We are grateful to the anonymous referees for their careful reading of the paper, their*useful*suggestions and constructive criticisms. ...##
###
Solving a Problem With or Without a Program

2013
*
Journal of Artificial General Intelligence
*

To solve a problem,

doi:10.2478/v10229-011-0021-5
fatcat:e3rbytlbtbaippreaclo42nynq
*an*ordinary computer system executes*an*existing*program*. When no such*program*is available,*an*AGI system may still be able to solve a concrete problem instance. ... It is concluded that*an*AGI system can solve a problem with or without a problem-specific*program*, and therefore can have human-like creativity and flexibility. ...*Use*some meta-*level**programs*to build a*program*for the problem, then*use*the*program*to solve the problem. ...##
###
Event calculus planning revisited
[chapter]

1997
*
Lecture Notes in Computer Science
*

Furthermore, if we extend the

doi:10.1007/3-540-63912-8_101
fatcat:khujelm2knhgldpl636vzpcroa
*event**calculus*in a natural way to accommodate compound actions, then*using*exactly the same*abductive*theorem prover we obtain a hierarchical planner. ... In particular, I will show that if we adopt the*event**calculus*as our logical formalism and employ*abductive*logic*programming*as our theorem proving technique, then the computation performed mirrors closely ... This work was carried out as part of the EPSRC funded project GR/L20023 "Cognitive*Robotics*". ...##
###
Probabilistic Action Language pBC+

2018
*
International Conference on Logic Programming
*

Just like BC+ is defined as a

doi:10.4230/oasics.iclp.2018.15
dblp:conf/iclp/Wang18
fatcat:tn252p7jgjd75fmorv43xgpg3u
*high*-*level*notation of answer set*programs*for describing transition systems, the proposed language, which we call pBC+, is defined as a*high*-*level*notation of LP MLN*programs*... We will also find real-world applications, possibly in*robotic*domains, to empirically study the performance of this*approach*to probabilistic reasoning in action domains. ... Acknowledgements We are grateful to the anonymous referees for their*useful*comments. This work was partially supported by the National Science Foundation under Grant IIS-1526301. ...
« Previous

*Showing results 1 — 15 out of 393 results*