| Publication | Date of Publication | Type |
|---|
Generating explainable rule sets from tree-ensemble learning methods by answer set programming
| 2024-12-03 | Paper |
Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis
| 2024-07-19 | Paper |
A differentiable first-order rule learner for inductive logic programming
Artificial Intelligence | 2024-07-03 | Paper |
Hamiltonian cycle reconfiguration with answer set programming
| 2024-05-29 | Paper |
Recongo: bounded combinatorial reconfiguration with answer set programming
| 2024-05-29 | Paper |
Differentiable learning of matricized DNFs and its application to Boolean networks
Machine Learning | 2023-08-22 | Paper |
Gradient-based supported model computation in vector spaces
| 2023-04-04 | Paper |
Learning any memory-less discrete semantics for dynamical systems represented by logic programs
Machine Learning | 2022-11-28 | Paper |
scientific article; zbMATH DE number 7594182 (Why is no real title available?)
| 2022-09-28 | Paper |
Embedding circumscriptive theories in general disjunctive programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
Learning from interpretation transition using differentiable logic programming semantics
Machine Learning | 2022-04-20 | Paper |
scientific article; zbMATH DE number 7455718 (Why is no real title available?)
| 2022-01-11 | Paper |
Logic programming in tensor spaces
Annals of Mathematics and Artificial Intelligence | 2021-12-17 | Paper |
Reproducible efficient parallel SAT solving
| 2021-04-07 | Paper |
Static analysis and stochastic search for reachability problem
| 2021-02-22 | Paper |
Inductive learning from state transitions over continuous domains
| 2021-02-08 | Paper |
Learning dynamics with synchronous, asynchronous and general semantics
Inductive Logic Programming | 2021-02-08 | Paper |
Ordering argumentation frameworks
| 2020-02-20 | Paper |
Non-Horn magic sets to incorporate top-down inference into bottom-up theorem proving
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Logic programming for cellular automata
| 2019-04-24 | Paper |
\textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming
Annals of Operations Research | 2019-03-06 | Paper |
Abduction, conversational implicature and misleading in human dialogues
Logic Journal of the IGPL | 2019-01-08 | Paper |
Exploiting answer set programming with external sources for meta-interpretive learning
Theory and Practice of Logic Programming | 2018-12-04 | Paper |
Modeling delayed dynamics in biological regulatory networks from time series data
Algorithms | 2018-08-20 | Paper |
Inference of delayed biological regulatory networks from time series data
| 2018-03-22 | Paper |
Coverage-based clause reduction heuristics for CDCL solvers
| 2017-11-15 | Paper |
Characterization of logic program revision as an extension of propositional revision
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Catnap: generating test suites of constrained combinatorial testing with answer set programming
| 2017-09-05 | Paper |
Coordination in answer set programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Learning inference by induction
Inductive Logic Programming | 2016-10-19 | Paper |
aspartame: solving constraint satisfaction problems with answer set programming
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
A BDD-Based Algorithm for Learning from Interpretation Transition
Inductive Logic Programming | 2015-09-07 | Paper |
Completing SBGN-AF networks by logic-based hypothesis finding
Formal Methods in Macro-Biology | 2015-08-06 | Paper |
Abduction, unpredictability and Garden of Eden
Logic Journal of the IGPL | 2015-02-24 | Paper |
Identification of biological regulatory networks from process hitting models
Theoretical Computer Science | 2015-01-28 | Paper |
Learning from interpretation transition
Machine Learning | 2014-07-14 | Paper |
Answer set programming as a modeling language for course timetabling
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Generating event-sequence test cases by answer set programming with the incidence matrix
| 2014-02-25 | Paper |
Completing causal networks by meta-level abduction
Machine Learning | 2013-10-22 | Paper |
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Characterization Theorems for Revision of Logic Programs
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Conditional answer computation in SOL as speculative computation in multi-agent environments
| 2013-08-20 | Paper |
Inverse subsumption for complete explanatory induction
Machine Learning | 2012-07-31 | Paper |
Oscillating behavior of logic programs
Correct Reasoning | 2012-07-23 | Paper |
Analyzing pathways using ASP-based approaches
Algebraic and Numeric Biology | 2012-06-08 | Paper |
Inductive equivalence in clausal logic and nonmonotonic logic programming
Machine Learning | 2012-05-08 | Paper |
Constraint-based probabilistic modeling for statistical abduction
Machine Learning | 2012-05-08 | Paper |
Probabilistic Rule Learning in Nonmonotonic Domains
Lecture Notes in Computer Science | 2011-09-16 | Paper |
Hypothesizing about causal networks with positive and negative effects by meta-level abduction
Inductive Logic Programming | 2011-06-17 | Paper |
A SAT-based method for solving the two-dimensional strip packing problem
| 2011-06-10 | Paper |
Exploring relations between answer set programs
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Identifying necessary reactions in metabolic pathways by minimal model generation
| 2011-05-11 | Paper |
Abduction of distributed theories through local interactions
| 2011-05-11 | Paper |
Query-driven coordination of multiple answer sets
Declarative Agent Languages and Technologies VIII | 2011-05-11 | Paper |
Generating combinatorial test cases by efficient SAT encodings suitable for CDCL SAT solvers
Logic for Programming, Artificial Intelligence, and Reasoning | 2010-10-12 | Paper |
Brave induction: a logical framework for learning from incomplete information
Machine Learning | 2010-10-07 | Paper |
Discovering Rules by Meta-level Abduction
Inductive Logic Programming | 2010-08-24 | Paper |
SOLAR: An automated deduction system for consequence finding
AI Communications | 2010-06-17 | Paper |
SOLAR: a consequence finding system for advanced reasoning
Lecture Notes in Computer Science | 2010-03-09 | Paper |
Computing preferred answer sets in answer set programming
| 2010-02-24 | Paper |
Equivalence issues in abduction and induction
Journal of Applied Logic | 2009-08-14 | Paper |
Reconsideration of circumscriptive induction with pointwise circumscription
Journal of Applied Logic | 2009-08-14 | Paper |
Combining Answer Sets of Nonmonotonic Logic Programs
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs
SIAM Journal on Discrete Mathematics | 2008-12-05 | Paper |
Brave Induction
Inductive Logic Programming | 2008-12-02 | Paper |
Mode-Directed Inverse Entailment for Full Clausal Theories
Inductive Logic Programming | 2008-03-28 | Paper |
Generality Relations in Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Constructing Consensus Logic Programs
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
A competitive and cooperative approach to propositional satisfiability
Discrete Applied Mathematics | 2007-01-09 | Paper |
Abductive Equivalence in First-order Logic
Logic Journal of the IGPL | 2006-11-30 | Paper |
Theoretical Aspects of Computing – ICTAC 2005
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-10-19 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
scientific article; zbMATH DE number 2230280 (Why is no real title available?)
| 2005-11-18 | Paper |
Induction as consequence finding
Machine Learning | 2005-11-07 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Induction as consequence finding
Machine Learning | 2005-01-19 | Paper |
Speculative computation through consequence-finding in multi-agent environments
Annals of Mathematics and Artificial Intelligence | 2005-01-17 | Paper |
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
scientific article; zbMATH DE number 2090536 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 1746701 (Why is no real title available?)
| 2004-02-25 | Paper |
scientific article; zbMATH DE number 1954197 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1931664 (Why is no real title available?)
| 2003-06-20 | Paper |
scientific article; zbMATH DE number 1926642 (Why is no real title available?)
| 2003-06-11 | Paper |
scientific article; zbMATH DE number 1877043 (Why is no real title available?)
| 2003-04-03 | Paper |
scientific article; zbMATH DE number 1696831 (Why is no real title available?)
| 2002-01-28 | Paper |
Radius of \((2k-1)\)-connected graphs
Ars Combinatoria | 2001-12-17 | Paper |
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence | 2000-12-12 | Paper |
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
scientific article; zbMATH DE number 1453062 (Why is no real title available?)
| 2000-05-25 | Paper |
Abductive logic programming and disjunctive logic programming: their relationship and transferability
The Journal of Logic Programming | 2000-05-25 | Paper |
scientific article; zbMATH DE number 1379485 (Why is no real title available?)
| 1999-12-15 | Paper |
scientific article; zbMATH DE number 1377641 (Why is no real title available?)
| 1999-12-14 | Paper |
scientific article; zbMATH DE number 1277968 (Why is no real title available?)
| 1999-11-08 | Paper |
scientific article; zbMATH DE number 1348475 (Why is no real title available?)
| 1999-10-10 | Paper |
scientific article; zbMATH DE number 1303349 (Why is no real title available?)
| 1999-09-15 | Paper |
Negation as failure in the head
The Journal of Logic Programming | 1999-01-11 | Paper |
scientific article; zbMATH DE number 1153280 (Why is no real title available?)
| 1999-01-05 | Paper |
scientific article; zbMATH DE number 1136037 (Why is no real title available?)
| 1998-06-22 | Paper |
A fixpoint characterization of abductive logic programs
The Journal of Logic Programming | 1997-04-27 | Paper |
scientific article; zbMATH DE number 970709 (Why is no real title available?)
| 1997-01-23 | Paper |
Paraconsistent Stable Semantics for Extended Disjunctive Programs
Journal Of Logic And Computation | 1995-06-06 | Paper |
An alternative approach to the semantics of disjunctive logic programs and deductive databases
Journal of Automated Reasoning | 1995-02-22 | Paper |
Hypothetical reasoning in logic programs
The Journal of Logic Programming | 1995-01-08 | Paper |
Poincaré series for discrete Moebius groups acting on the upper half space
Tôhoku Mathematical Journal. Second Series | 1994-08-28 | Paper |
Incorporating top-down information into bottom-up hypothetical reasoning
New Generation Computing | 1994-02-06 | Paper |
Linear resolution for consequence finding
Artificial Intelligence | 1993-01-17 | Paper |
scientific article; zbMATH DE number 67457 (Why is no real title available?)
| 1992-09-27 | Paper |
Limit sets of geometrically finite free Kleinian groups
Tôhoku Mathematical Journal. Second Series | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3811955 (Why is no real title available?)
| 1982-01-01 | Paper |
Remarks on the limit sets of Kleinian groups
Tôhoku Mathematical Journal. Second Series | 1980-01-01 | Paper |
