Dirk Vermeir

Chris Cornelis

Proceedings of the 2009 IEEE International Conference on Bioinformatics and Biomedicine, 2009

2008

Open answer set programming with guarded programs.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2008

Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Open answer set programming for the semantic web.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

An introduction to fuzzy answer set programming.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Conditional Planning with External Functions.

[BibT_eX]

[DOI]

Thomas Eiter

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

Computing Fuzzy Answer Sets Using dlvhex.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Preferred answer sets for ordered logic programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2006

Conceptual logic programs.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2006

Fuzzy Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Cooperating Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 22nd International Conference, 2006

Guarded Open Answer Set Programming with Generalized Literals.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2006

Approximating Extended Answer Sets.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Hierarchical Decision Making in Multi-agent Systems Using Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005

Preferential Reasoning on a Web of Trust.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

An Ordered Logic Program Solver.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Guarded Open Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Synthesis from Temporal Specifications Using Preferred Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

Nonmonotonic Ontological and Rule-Based Reasoning with Extended Conceptual Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web: Research and Applications, 2005

Intelligence Analysis Using Quantitative Preferences.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

Extending Conceptual Logic Programs with Arbitrary Rules.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2005

2004

Extending Answer Sets for Logic Programming Agents.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2004

Semantic Web Reasoning with Conceptual Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Weighted Answer Sets and Applications in Intelligence Analysis.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2004

Hierarchical Decision Making by Autonomous Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

On Programs with Linearly Ordered Multiple Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 20th International Conference, 2004

2003

Integrating Description Logics and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Semantic Web Reasoning, 2003

Ordered Diagnosis.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2003

Order and Negation as Failure.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 19th International Conference, 2003

Integrating Ontology Languages and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

Integrating Semantic Web Reasoning and Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2003

Ordered Programs as Abductive Systems.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Using Preference Order in Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Database and Expert Systems Applications (DEXA 2002), 2002

A Defeasible Ontology Language.

[BibT_eX]

[DOI]

Proceedings of the On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

Dynamic Decision-Making in Logic Programming and Game Theory.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Semantic Forcing in Disjunctive Logic Programs.

[BibT_eX]

[DOI]

Comput. Intell., 2001

Logic Programming Agents and Game Theory.

[BibT_eX]

[DOI]

Proceedings of the Answer Set Programming, 2001

Multi-paradigm programming using C++.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-85233-483-3, 2001

2000

A Universal Fixpoint Semantics for Ordered Logic.

[BibT_eX]

[DOI]

Comput. Artif. Intell., 2000

A Logic for Modeling Decision Making with Dynamic Preferences.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Dynamically Ordered Probabilistic Choice Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 2000

1999

Robust Semantics for Argumentation Frameworks.

[BibT_eX]

[DOI]

Hadassa Jakobovits

J. Log. Comput., 1999

On the Role of Negation in Choice Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Dialectic semantics for argumentation frameworks.

[BibT_eX]

[DOI]

Hadassa Jakobovits

Proceedings of the Seventh International Conference on Artificial Intelligence and Law, 1999

Choice Logic Programs and Nash Equilibria in Strategic Games.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1996

R-Stable Models for Logic Programs.

[BibT_eX]

[DOI]

Hadassa Jakobovits

Proceedings of the Logic in Databases, 1996

1995

Specificity by Default.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

Default Knowledge in Information Systems.

[BibT_eX]

Terry A. Halpin

Proceedings of the Database Applications Semantics, Proceedings of the Sixth IFIP TC-2 Working Conference on Data Semantics (DS-6), Stone Mountain, Atlanta, Georgia, USA, May 30, 1995

1994

Ordered logic: defeasible reasoning for multiple agents.

[BibT_eX]

[DOI]

Donald Nute

Decis. Support Syst., 1994

1993

A Nonmonotonic Reasoning Formalism Using Implicit Specificity Information.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

1992

Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models.

[BibT_eX]

[DOI]

J. Log. Comput., 1992

Logic Programming Semantics Made Easy.

[BibT_eX]

[DOI]

Carlo Zaniolo

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

Evolution of Knowledge Bases.

[BibT_eX]

[DOI]

Domenico Saccà

Brigitte Verdonk

Proceedings of the Advances in Database Technology, 1992

1991

On the Relationship between Well-Founded and Stable Partial Models.

[BibT_eX]

[DOI]

Proceedings of the MFDBS 91, 1991

Credulous and Autoepistemic Reasoning Using Ordered Logic.

[BibT_eX]

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1991

Credulous vs. Sceptical Semantics for Ordered Logic Programs.

[BibT_eX]

Dov M. Gabbay

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Supporting User Interactions with OODB's: A Declarative Approach.

[BibT_eX]

Proceedings of the Proceedings of the International Conference on Database and Expert Systems Applications, 1991

The KIWIS Knowledge Base Management System.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 1991

1990

A seamless integration of graphics and dialogues within a logic based object-oriented language.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 1990

A Fixpoint Semantics for Ordered Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 1990

Advanced knowledge-base environments for large database systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1990

Extending Logic Programming.

[BibT_eX]

[DOI]

Domenico Saccà

Proceedings of the 1990 ACM SIGMOD International Conference on Management of Data, 1990

The LOCO Language: Towards an Integration of Logic and Object-Oriented Programming.

[BibT_eX]

Brigitte Verdonk

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

A Logical Basis for Object Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990

1989

Browsing à la Carte in Object-Oriented Databases.

[BibT_eX]

[DOI]

François Staes

Comput. J., 1989

A Customizable Window-Interface to Object-Oriented Databases.

[BibT_eX]

François Staes

Proceedings of the ECOOP '89: Proceedings of the Third European Conference on Object-Oriented Programming, 1989

A Case Study in Object-Oriented Knowledge-Base Design Using the KIWI System.

[BibT_eX]

[DOI]

Proceedings of the First Nordic Conference on Advanced Systems Engineering, 1989

1988

An Overview of OOPS+, An Object-Oriented Database Programming Language.

[BibT_eX]

[DOI]

Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

1983

Semantic hierarchies and abstractions in conceptual schemata.

[BibT_eX]

[DOI]

Inf. Syst., 1983

On the Generation of Database Schemata.

[BibT_eX]

Nagarajan Prabhakaran

Aust. Comput. J., 1983

1982

A procedure to define the object type structure of a conceptual schema.

[BibT_eX]

[DOI]

G. M. Nijssen

Inf. Syst., 1982

1981

On ET0L Systems with Finite Tree-Rank.

[BibT_eX]

[DOI]

Andrzej Ehrenfeucht

SIAM J. Comput., 1981

On the amount of non-determinism in pushdown in pushdown automata.

[BibT_eX]

Walter J. Savitch

Fundam. Informaticae, 1981

A hierarchy of ETOL languages with rank.

[BibT_eX]

Fundam. Informaticae, 1981

1980

A note on M-growth functions of FTOL systems with rank.

[BibT_eX]

Fundam. Informaticae, 1980

On metalinear ETOL systems.

[BibT_eX]

Fundam. Informaticae, 1980

1979

On Recursion in ET0L Systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1979

On ET0L Systems with Rank.

[BibT_eX]

[DOI]

Andrzej Ehrenfeucht

J. Comput. Syst. Sci., 1979

Persistent ET0L systems.

[BibT_eX]

[DOI]

Robert Meersman

Inf. Sci., 1979

Extending the Notion of Finite Index.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979

1978

On the Effect of the Finite Index Restriction on Several Families of Grammars

[BibT_eX]

[DOI]

Inf. Control., December, 1978

On ET0L Systems of Finite Index

[BibT_eX]

[DOI]

Inf. Control., July, 1978

1977

Acceptors for Iteration Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1977, 1977

L Systems of Finite Index (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Automata, 1977

1976

Context-Free Programmed Grammars and ETOL Systems.

[BibT_eX]

[DOI]