Search Results - Abductive–Inductive Logic Programming

Incremental learning of event definitions with Inductive Logic Programming by Katzouris, Nikos, Artikis, Alexander, Paliouras, Georgios

“… Using a logical framework for representing and reasoning about events offers direct connections to machine learning, via Inductive Logic Programming (ILP…”
Get full text

Nonmonotonic abductive inductive learning by Ray, Oliver

“…Inductive Logic Programming (ILP) is concerned with the task of generalising sets of positive and negative examples with respect to background knowledge expressed as logic programs…”
Get full text

Learning probabilistic logic models from probabilistic examples by Chen, Jianzhong, Muggleton, Stephen, Santos, José

“…We revisit an application developed originally using abductive Inductive Logic Programming (ILP…”
Get full text

Nonmonotonic inductive logic programming as abductive search by Corapi, Domenico

“…Inductive Logic Programming (ILP) is a machine learning technique that relies on logic programs as a representation language…”
Get full text

Online learning of event definitions by KATZOURIS, NIKOS, ARTIKIS, ALEXANDER, PALIOURAS, GEORGIOS

“… Moreover, we use abductive-inductive logic programming techniques to handle unobserved target predicates…”
Get full text

Using abduction and induction for operational requirements elaboration by Alrajeh, D., Ray, O., Russo, A., Uchitel, S.

“… This paper presents an Inductive Logic Programming method for inferring operational requirements from a set of example scenarios and an initial but incomplete requirements specification…”
Get full text

Online Learning of Event Definitions by Katzouris, Nikos, Artikis, Alexander, Paliouras, Georgios

“… Moreover, we use abductive-inductive logic programming techniques to handle unobserved target predicates…”
Get full text

Logical modeling of biological systems by Inoue, Katsumi, Fariñas del Cerro, Luis

“…Systems Biology is the systematic study of the interactions between the components of a biological system and studies how these interactions give rise to the…”
Get full text

Introduction to the 30th International Conference on Logic Programming Special Issue by LEUSCHEL, MICHAEL, SCHRIJVERS, TOM

“…The 30th edition of the International Conference of Logic Programming took place in Vienna in July 2014 at the Vienna Summer of Logic - the largest scientific conference in the history of logic…”
Get full text

Introduction to the 27th International Conference on Logic Programming Special Issue by GALLAGHER, JOHN, GELFOND, MICHAEL

“…Following the initiative in 2010 taken by the Association for Logic Programming and Cambridge University Press, the full papers accepted for the International Conference on Logic Programming again…”
Get full text

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

“… We define an Abductive Learning Problem as an extended Inductive Logic Programming problem where both the background and target theories are abductive theories and where abductive derivability…”
Get full text

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions by Hou, Ping, Wittocx, Johan, Denecker, Marc

“…The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions…”
Get full text

Logics and Multi-agents: towards a new symbolic model of cognition by Torroni, Paolo

“…The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL…”
Get full text

An introduction to inductive programming by Flener, Pierre, Schmid, Ute

“…: dialogs learns logic programs by combining inductive and abductive reasoning; the classical thesys system and its extension igor 1 learn functional programs based on a recurrence detection mechanism in traces…”
Get full text

Incremental Learning of Event Definitions with Inductive Logic Programming by Katzouris, Nikos, Artikis, Alexander, Paliouras, George

“… The manual development of such knowledge is a tedious and error-prone task, thus event-based applications may benefit from automated knowledge construction techniques, such as Inductive Logic Programming (ILP…”
Get full text

Learning revised models for planning in adaptive systems by Sykes, Daniel, Corapi, Domenico, Magee, Jeff, Kramer, Jeff, Russo, Alessandra, Inoue, Katsumi

“…Environment domain models are a key part of the information used by adaptive systems to determine their behaviour. These models can be incomplete or…”
Get full text

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks by Lun Ai, Shi-Shun, Liang, Wang-Zhou, Dai, Hallett, Liam, Muggleton, Stephen H, Baldwin, Geoff S

“…) cycle of the host cell system. We introduce a novel machine learning framework ILP-iML1515 based on Inductive Logic Programming (ILP…”
Get full text

AI and Law (2) by Nitta, Hajime Yoshinoand Katsumi

“… Those papers were mainly related to higher order reasoning systems such as ase-based reasoning, abductive and inductive logic programming, nonmonotonic reasoning, and analogical reasoning…”
Get full text

Learning revised models for planning in adaptive systems by Sykes, Daniel, Corapi, Domenico, Magee, Jeff, Kramer, Jeff, Russo, Alessandra, Inoue, Katsumi

“…Environment domain models are a key part of the information used by adaptive systems to determine their behaviour. These models can be incomplete or…”
Get full text

Mining first-order knowledge bases for association rules by Jamil, H.M.

“… Other than inductive and abductive logic programming, research into data mining from knowledge bases has been almost non-existent, because contemporary methods involve inherent procedurality…”
Get full text