A. Kakas

Publications
Influence

A. Kakas, P. Mancarella
Computer Science
LPNMR
1 December 1992

The role of abduction in logic programming

A. Kakas, R. Kowalski, Francesca Toni
Computer Science
1995

This paper is a survey and critical overview of recent work on the extension of Logic Programming to perform Abductive Reasoning (Abductive Logic Programming). Expand

Database Updates through Abduction

A. Kakas, P. Mancarella
Computer Science
VLDB
1 September 1990

The problem of view updates in deductive databases is studied by casting this in a naturally associated abductive framework. Expand

Argumentation based decision making for autonomous agents

A. Kakas, P. Moraitis
Computer Science
AAMAS '03
14 July 2003

This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents, incorporating a dimension of individuality in the decisions of the agent. Expand

Generalized Stable Models: A Semantics for Abduction

A. Kakas, P. Mancarella
Computer Science
ECAI
1990

Abduction and Induction

Peter A. Flach, A. Kakas
Computer Science
2000

Abduction and induction: essays on their relation and integration

Peter A. Flach, A. Kakas
Mathematics
2000

Foreword. Preface. Contributing Authors. 1. Abductive and inductive reasoning: background and issues P.A. Flach, A.C. Kakas. Part I: The philosophy of abduction and induction. 2. Smart inductive… Expand

Computing Argumentation in Logic Programming

A. Kakas, Francesca Toni
Computer Science, Mathematics
J. Log. Comput.
1 August 1999

In recent years, argumentation has been shown to be an appropriate framework in which logic programming with negation as failure as well as other logics for non-monotonic reasoning can be encompassed. Expand

A Simple Declarative Language for Describing Narratives With Actions

A. Kakas, R. Miller
Computer Science, Mathematics
J. Log. Program.
1 April 1997

We describe a simple declarative languageE for describing the effects of a series of action occurrences within a narrative. Expand

Application of abductive ILP to learning metabolic network inhibition from temporal data

Alireza Tamaddoni-Nezhad, Raphael Chaleil, A. Kakas, S. Muggleton
Mathematics, Computer Science
Machine Learning
1 September 2006

We use a logic-based representation and a combination of Abduction and Induction to model inhibition in metabolic networks. Expand

Recommended Authors