MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Super logic programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Super Logic Programs
by Stefan Brass, Jürgen Dix, Teodor C. Przymusinski — 1996
…Super Logic Programs # Stefan Brass University of Hannover Department of Computer Science D-30167…
Cited by 21 (3 self) – Add To MetaCart

Characterizations and Implementation of Static Semantics of Disjunctive Programs
by J Urgen Dix, Stefan Brass, Stefan Brass, Jürgen Dix, Teodor. C. Przymusinski, Teodor C. Przymusinski — 1996
… will be (modestly) called super logic programs or just super-programs. We will argue that the class of super-programs…
Cited by 2 (1 self) – Add To MetaCart

Fachberichte INFORMATIK
by Universit At Koblenz-Landau, Teodor Przymusinski, Stefan Brass, Jurgen Dix, Teodor C. Przymusinski — 1995 — Principles of Knowledge Representation and Reasoning: Proceedings of the Fifth International Conference (KR '96
…Super Logic Programs Stefan Brass, J urgen Dix, Teodor Przymusinski 12/97 Fachberichte INFORMATIK…
Add To MetaCart

Generated Models and Extensions of Nonmonotonic Systems
by Joeri Engelfriet, Heinrich Herre — 1997 — Logic Programming, Proceedings of the 1997 International Symposium
… extensions. We will show that for super logic programs ([9]), the temporal approach coincides with stable…
Cited by 1 (1 self) – Add To MetaCart

Meta-CASE Worldwide
by Jürgen Ebert, Jurgen Ebert, Roger Süttenbach, Roger Suttenbach, Ingar Uhe, Ingar Uhe — 1998
… '98). 17/98 Stefan Brass, Jurgen Dix, Teodor C. Przymusinski. Super Logic Programs. 16/98 Jurgen Dix…
Cited by 1 (0 self) – Add To MetaCart

Argumentation-Based Abduction in Disjunctive Logic Programming
by Kewen Wang — 2000 — Journal of Logic programming
…-disjunctive logic programs, which is a subclass of super logic programs [7]. The rest of this paper is arranged…
Cited by 6 (3 self) – Add To MetaCart

The Extract-Transform-Rewrite Cycle - A Step towards MetaCARE
by J Urgen Ebert, Jürgen Ebert, Bernt Kullbach, Bernt Kullbach, Andreas Panse, Andreas Panse — 1997 — Proceedings of the 2nd Euromicro Conference on Software Maintenance & Reengineering. IEEE Computer Society, Los Alamitos
…/97 Stefan Brass, J urgen Dix, Teodor Przymusinski. Super Logic Programs. 11/97 J urgen Dix, Mauricio Osorio…
Cited by 4 (1 self) – Add To MetaCart

Workflow Modeling according to WfMC
by Jörg Jooss, J Org Jooss, Thomas Marx, Thomas Marx
… Metamodel. 12/97 Stefan Brass, J urgen Dix, Teodor Przymusinski. Super Logic Programs. 11/97 J urgen Dix…
Add To MetaCart

Schedulability Criteria for Age Constraint Processes in Hard Real-Time Systems
by Dieter Z Obel, Prof Dr, Dieter Zöbel — 1998
… Metamodel. 12/97 Stefan Brass, J urgen Dix, Teodor Przymusinski. Super Logic Programs. 11/97 J urgen Dix…
Add To MetaCart

Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults
by Joeri Engelfriet, Heinrich Herre — 1999 — Journal of Logic Pprogramming
… the class of generalized logic programs wich are based on GLP. Subsets of SLP are called super logic…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB