search result

Cover von Fundamental Approaches to Software Engineering
21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14 - 20, 2018, Proceedings
Search for this author
Year: 2018
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science : ARCoSS; 10802
Media group: MONOGRAPHIE
Cover von Inductive Logic Programming
26th International Conference, ILP 2016, London, UK, September 4 - 6, 2016, Revised Selected Papers
Search for this author
Year: 2017
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 10326
Media group: MONOGRAPHIE
Cover von Learning Commonsense Knowledge Through Interactive Dialogue

Learning Commonsense Knowledge Through Interactive Dialogue

Year: 2018
Media group: OASICS
Cover von Predicate Invention in Inductive Logic Programming

Predicate Invention in Inductive Logic Programming

article
Author: Athakravi, Duangtida; Broda, Krysia B.; Russo, Alessandra
Year: 2012
Media group: ARTICLE
Cover von Inductive Logic Programming as Abductive Search

Inductive Logic Programming as Abductive Search

Year: 2010
Media group: ARTICLE
Cover von Revision, Acceptability and Context
Theoretical and Algorithmic Aspects, 2
Search for this author
Year: 2010
Publisher: Heidelberg, Springer
Series: Cognitive technologies
Media group: MONOGRAPHIE
Cover von An Inductive Approach for Modal Transition System Refinement

An Inductive Approach for Modal Transition System Refinement

Year: 2011
Media group: LIPIcs
Cover von Multi-agent Confidential Abductive Reasoning

Multi-agent Confidential Abductive Reasoning

Year: 2011
Media group: LIPIcs
Cover von Compiled Labelled Deductive Systems
A Uniform Presentation of Non-Classical Logics
Search for this author
Year: 2004
Publisher: London, Taylor & Francis
Series: Studies in logic and computation; 10
Media group: MONOGRAPHIE
OPEN V 11.1.0.0