Suchergebnisse - "Abductive Logic Programming"

An efficient propositional system for Abductive Logic Programming von Gavanelli, Marco, Julián-Iranzo, Pascual, Sáenz-Pérez, Fernando

“… Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle interesting …”
Volltext

Obligation as Optimal Goal Satisfaction von Kowalski, Robert, Satoh, Ken

“… Formalising deontic concepts, such as obligation, prohibition and permission, is normally carried out in a modal logic with a possible world semantics, in …”
Volltext

Probabilistic abductive logic programming using Dirichlet priors von Turliuc, Calin Rares, Dickens, Luke, Russo, Alessandra, Broda, Krysia

“… Probabilistic programming is an area of research that aims to develop general inference algorithms for probabilistic models expressed as probabilistic programs …”
Volltext

Extending expressivity and flexibility of abductive logic programming von Ferilli, Stefano

“… Real-world problems often require purely deductive reasoning to be supported by other techniques that can cope with noise in the form of incomplete and …”
Volltext

Abductive logic programming agents with destructive databases von Kowalski, Robert, Sadri, Fariba

“… In this paper we present an agent language that combines agent functionality with a state transition theory and model-theoretic semantics. The language is …”
Volltext

Abductive reasoning in neural-symbolic systems von Garcez, Artur S. d’Avila, Gabbay, Dov M., Ray, Oliver, Woods, John

“… Abduction is or subsumes a process of inference. It entertains possible hypotheses and it chooses hypotheses for further scrutiny. There is a large literature …”
Volltext

Expressing and Verifying Business Contracts with Abductive Logic Programming von Alberti, Marco, Chesani, Federico, Gavanelli, Marco, Lamma, Evelina, Mello, Paola, Montali, Marco, Torroni, Paolo

“… SCIFF is a declarative language, based on abductive logic programming, that accommodates forward rules, predicate definitions, and constraints over finite …”
Volltext

A Computational Logic Application Framework for Service Discovery and Contracting von Torroni, Paolo, Chesani, Federico, Gavanelli, Marco, Alberti, Marco, Cattafi, Massimiliano, Lamma, Evelina, Mello, Paola, Montali, Marco

“… In Semantic Web technologies, searching for a service means identifying components that can potentially satisfy user needs in terms of inputs and outputs …”
Volltext

Integrating induction and abduction in logic programming von Lamma, Evelina, Mello, Paola, Milano, Michela, Riguzzi, Fabrizio

“… We propose an approach for the integration of abduction and induction in Logic Programming. We define an Abductive Learning Problem as an extended Inductive …”
Volltext

Pollution Control Machine Using Artificial Intelligence And Machine Learning von Pandey, Anand, Manglik, Pragyadeep, Taluja, Punit

“… Research in pollution has been going from past several years and there have been many advancements in conserving and controlling the pollution and here …”
Volltext

A Logic Programming Language Designed for the Modeling of Abductive Reasoning in an Educational Context von Oliveira, Osvaldo Luiz de, Oliveira, Carlos Eduardo Andrade, Martins, Ricardo Jose, Matsumoto, Marcio

“… The programming of simulations of real or abstract phenomena is referred to as computational modeling. In the educational sphere, computational modeling is …”
Volltext

Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming von Satoh, Ken

“… This paper presents a method for solving statutory interpretation problem in the legal domain by using abductive logic programming. To interpret a rule, we …”
Volltext

Abductive logic programming and disjunctive logic programming: their relationship and transferability von Katsumi Inoue, Chiaki Sakama

Volltext

Abductive logic programming and disjunctive logic programming: their relationship and transferability von Sakama, Chiaki, Inoue, Katsumi

“… Abductive logic programming (ALP) and disjunctive logic programming (DLP) are two different extensions of logic programming. This paper investigates the …”
Volltext

Computing abduction by using TMS with top-down expectation von Iwayama, Noboru, Satoh, Ken

“… We present a method to compute abduction in logic programming. We translate an abductive framework into a normal logic program with integrity constraints and …”
Volltext