| Publication | Date of Publication | Type |
|---|
Graph-based construction of minimal models
Artificial Intelligence | 2022-11-08 | Paper |
Outlying property detection with numerical attributes
Data Mining and Knowledge Discovery | 2019-05-03 | Paper |
Modular construction of minimal models
| 2017-09-05 | Paper |
Outlier detection by logic programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Computational properties of metaquerying problems
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
The complexity of the nucleolus in compact games
ACM Transactions on Computation Theory | 2016-10-24 | Paper |
Hard and easy \(k\)-typed compact coalitional games: the knowledge of player types marks the boundary
| 2015-12-11 | Paper |
On the tractability of minimal model computation for some CNF theories
Artificial Intelligence | 2015-08-27 | Paper |
Restricted default theories: expressive power and outlier detection tasks
Theoretical Computer Science | 2014-12-16 | Paper |
On the complexity of core, kernel, and bargaining set
Artificial Intelligence | 2011-11-25 | Paper |
Detecting and repairing anomalous evolutions in noisy environments. Logic programming formalization and complexity results
Annals of Mathematics and Artificial Intelligence | 2011-11-08 | Paper |
Outlier detection for simple default theories
Artificial Intelligence | 2011-01-31 | Paper |
Non-transferable utility coalitional games via mixed-integer linear constraints
Journal of Artificial Intelligence Research | 2010-09-09 | Paper |
On the complexity of identifying head-elementary-set-free programs
Theory and Practice of Logic Programming | 2010-01-28 | Paper |
Outlier detection using default reasoning
Artificial Intelligence | 2009-07-17 | Paper |
Flexible Pattern Discovery with (Extended) Disjunctive Logic Programming
Lecture Notes in Computer Science | 2008-03-17 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Discovery Science
Lecture Notes in Computer Science | 2005-08-18 | Paper |
On the complexity of inducing categorical and quantitative association rules
Theoretical Computer Science | 2004-10-27 | Paper |
scientific article; zbMATH DE number 2089428 (Why is no real title available?)
| 2004-08-12 | Paper |
A plausibility description logic for handling information sources with heterogeneous data representation formats
Annals of Mathematics and Artificial Intelligence | 2004-01-14 | Paper |
scientific article; zbMATH DE number 2006579 (Why is no real title available?)
| 2003-11-23 | Paper |
scientific article; zbMATH DE number 1966522 (Why is no real title available?)
| 2003-08-18 | Paper |
scientific article; zbMATH DE number 1951101 (Why is no real title available?)
| 2003-07-21 | Paper |
scientific article; zbMATH DE number 1836280 (Why is no real title available?)
| 2002-11-27 | Paper |
Semi-automatic techniques for deriving interscheme properties from database schemes
Data & Knowledge Engineering | 2002-07-29 | Paper |
Algorithms for selective enumeration of prime implicants
Artificial Intelligence | 2002-07-24 | Paper |
A technique for deriving hyponymies and overlappings from database schemes
Data & Knowledge Engineering | 2002-03-03 | Paper |
NP-SPEC: An executable specification language for solving all problems in NP
Computer Languages | 2001-11-08 | Paper |
More on tractable disjunctive Datalog
The Journal of Logic Programming | 2000-12-12 | Paper |
Intensional and extensional integration and abstraction of heterogeneous databases
Data & Knowledge Engineering | 2000-10-26 | Paper |
scientific article; zbMATH DE number 695094 (Why is no real title available?)
| 2000-06-21 | Paper |
Propositional lower bounds: Algorithms and complexity
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
Reasoning with minimal models: efficient algorithms and applications
Artificial Intelligence | 1998-08-13 | Paper |
Circumscribing DATALOG: expressive power and complexity
Theoretical Computer Science | 1998-08-13 | Paper |
Polynomial-time computable stable models
Annals of Mathematics and Artificial Intelligence | 1998-08-03 | Paper |
A language for updating logic programs and its implementation
The Journal of Logic Programming | 1997-03-17 | Paper |
Extending Datalog with arrays
Data & Knowledge Engineering | 1997-02-27 | Paper |
Testing logic programs for local stratification
Theoretical Computer Science | 1993-01-16 | Paper |
