Suchergebnisse - Abductive–Inductive Logic Programming

Incremental learning of event definitions with Inductive Logic Programming von 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 …”
Volltext

Nonmonotonic abductive inductive learning von 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 …”
Volltext

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

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

Nonmonotonic inductive logic programming as abductive search von Corapi, Domenico

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

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

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

Using abduction and induction for operational requirements elaboration von 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 …”
Volltext

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

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

Logical modeling of biological systems von 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 …”
Volltext

Introduction to the 30th International Conference on Logic Programming Special Issue von 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 …”
Volltext

Introduction to the 27th International Conference on Logic Programming Special Issue von 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 …”
Volltext

Integrating induction and abduction in logic programming von 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 …”
Volltext

LPC(ID): A Sequent Calculus Proof System for Propositional Logic Extended with Inductive Definitions von 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 …”
Volltext

Logics and Multi-agents: towards a new symbolic model of cognition von 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 …”
Volltext

An introduction to inductive programming von 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 …”
Volltext

Incremental Learning of Event Definitions with Inductive Logic Programming von 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 …”
Volltext

Learning revised models for planning in adaptive systems von 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 …”
Volltext

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks von 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 …”
Volltext

AI and Law (2) von 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 …”
Volltext

Learning revised models for planning in adaptive systems von 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 …”
Volltext

Mining first-order knowledge bases for association rules von 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 …”
Volltext