• Publications
  • Influence
DALICA: Agent-Based Ambient Intelligence for Cultural-Heritage Scenarios
TLDR
We exploited intelligent agents for two ambient-intelligence scenarios applicable to Villa Adriana, where ancient artifacts and modern technology have found an unexpected equilibrium. Expand
  • 51
  • 3
  • PDF
Contributions to the Stable Model Semantics of Logic Programs with Negation
  • S. Costantini
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1 June 1993
TLDR
We propose two new explicit characterizations of the stable model semantics. Expand
  • 35
  • 3
Self-checking Logical Agents
TLDR
This paper presents a comprehensive framework for run-time self-checking of logical agents, by means of temporal axioms to be dynamically checked. Expand
  • 18
  • 3
  • PDF
A Logic Programming Language for Multi-agent Systems
TLDR
This paper presents a new logic programming language for modelling Agents and Multi-Agent systems in computational logic. Expand
  • 112
  • 2
  • PDF
A Metalogic Programming Language
  • 60
  • 2
  • PDF
The DALI Logic Programming Agent-Oriented Language
TLDR
DALI [3], [2] is an Active Logic Programming Language designed in the line of [6] for executable specification of logical agents. Expand
  • 88
  • 2
  • PDF
On the existence of stable models of non-stratified logic programs
  • S. Costantini
  • Computer Science
  • Theory Pract. Log. Program.
  • 23 December 2004
TLDR
In this paper we analyze the relationship between cyclic definitions and consistency in Gelfond-Lifschitz's answer sets semantics (originally defined as stable model semantics). Expand
  • 34
  • 2
  • PDF
Semantics of a Metalogic Programming Language
  • S. Costantini
  • Computer Science
  • Int. J. Found. Comput. Sci.
  • 1 September 1990
TLDR
This paper presents the declarative and procedural semantics of Reflective Prolog, a new logic language able to represent metaknowledge and use it in the proof process via an extended resolution procedure including forms of implicit reflection. Expand
  • 16
  • 2
Semantical Properties of Encodings in Logic Programming
TLDR
A metaprogram is a program where data denotes another (object) program. Expand
  • 10
  • 2
Extending and Implementing RASP
TLDR
We propose an extension to ASP (Answer Set Programming), called RASP, standing for ASP with Resources. Expand
  • 23
  • 1
  • PDF