Evolving reactive logic programs

José Júlio Alves Alferes; Federico Banti,; Antonio Brogi

doi:10.3233/IA-2011-0007

Evolving reactive logic programs

José Júlio Alves Alferes, Federico Banti, , Antonio Brogi

Research output: Contribution to journal › Article › peer-review

Abstract

In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contribu- tions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions —based on dynamic logic programs— and its recent event-condition-action extension that supports the specification and the execution of reactive programs.

Original language	English
Pages (from-to)	60-64
Number of pages	5
Journal	Intelligenza Artificiale
Volume	487
DOIs	https://doi.org/10.3233/IA-2011-0007
Publication status	Published - 2009

Keywords

Logic programming
stable models
Semantics
Logic programs
Research activities
Dynamic logic programs
ON dynamics
Reactive programs
Action description languages

Access to Document

10.3233/IA-2011-0007

Cite this

@article{9122d396f29646e69a648a93fe8f696e,

title = "Evolving reactive logic programs",

abstract = "In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contribu- tions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions —based on dynamic logic programs— and its recent event-condition-action extension that supports the specification and the execution of reactive programs.",

keywords = "Logic programming, stable models, Semantics, Logic programs, Research activities, Dynamic logic programs, ON dynamics, Reactive programs, Action description languages",

author = "Alferes, {Jos{\'e} J{\'u}lio Alves} and Federico Banti, and Antonio Brogi",

year = "2009",

doi = "10.3233/IA-2011-0007",

language = "English",

volume = "487",

pages = "60--64",

journal = "Intelligenza Artificiale",

issn = "1724-8035",

publisher = "IOS Press",

}

TY - JOUR

T1 - Evolving reactive logic programs

AU - Alferes, José Júlio Alves

AU - Banti, , Federico

AU - Brogi, Antonio

PY - 2009

Y1 - 2009

N2 - In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contribu- tions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions —based on dynamic logic programs— and its recent event-condition-action extension that supports the specification and the execution of reactive programs.

AB - In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contribu- tions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions —based on dynamic logic programs— and its recent event-condition-action extension that supports the specification and the execution of reactive programs.

KW - Logic programming

KW - stable models

KW - Semantics

KW - Logic programs

KW - Research activities

KW - Dynamic logic programs

KW - ON dynamics

KW - Reactive programs

KW - Action description languages

U2 - 10.3233/IA-2011-0007

DO - 10.3233/IA-2011-0007

M3 - Article

SN - 1724-8035

VL - 487

SP - 60

EP - 64

JO - Intelligenza Artificiale

JF - Intelligenza Artificiale

ER -

Evolving reactive logic programs

Abstract

Keywords

Access to Document

Fingerprint

Cite this