Výsledky vyhľadávania - Abductive–Inductive Logic Programming

Incremental learning of event definitions with Inductive Logic Programming Autor 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…”
Získať plný text

Nonmonotonic abductive inductive learning Autor 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…”
Získať plný text

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

“…We revisit an application developed originally using abductive Inductive Logic Programming (ILP…”
Získať plný text

Nonmonotonic inductive logic programming as abductive search Autor Corapi, Domenico

“…Inductive Logic Programming (ILP) is a machine learning technique that relies on logic programs as a representation language…”
Získať plný text

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

“… Moreover, we use abductive-inductive logic programming techniques to handle unobserved target predicates…”
Získať plný text

Using abduction and induction for operational requirements elaboration Autor 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…”
Získať plný text

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

“… Moreover, we use abductive-inductive logic programming techniques to handle unobserved target predicates…”
Získať plný text

Logical modeling of biological systems Autor 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…”
Získať plný text

Introduction to the 30th International Conference on Logic Programming Special Issue Autor 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…”
Získať plný text

Introduction to the 27th International Conference on Logic Programming Special Issue Autor 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…”
Získať plný text

Integrating induction and abduction in logic programming Autor 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…”
Získať plný text

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions Autor 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…”
Získať plný text

Logics and Multi-agents: towards a new symbolic model of cognition Autor 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…”
Získať plný text

An introduction to inductive programming Autor 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…”
Získať plný text

Incremental Learning of Event Definitions with Inductive Logic Programming Autor 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…”
Získať plný text

Learning revised models for planning in adaptive systems Autor 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…”
Získať plný text

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks Autor 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…”
Získať plný text

AI and Law (2) Autor 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…”
Získať plný text

Learning revised models for planning in adaptive systems Autor 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…”
Získať plný text

Mining first-order knowledge bases for association rules Autor 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…”
Získať plný text