Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Victor W. Marek V. Wiktor Marek ( http://dblp.L3S.de/Authors/Victor_W._Marek )

URL (Homepage):  http://www.cs.engr.uky.edu/~marek/  Author page on DBLP  Author page in RDF  Community of Victor W. Marek in ASPL-2

Publication years (Num. hits)
1973-1990 (17) 1991-1993 (18) 1994-1996 (18) 1997-1999 (18) 2000-2003 (20) 2004-2005 (15) 2006-2009 (17) 2011 (5)
Publication types (Num. hits)
article(62) book(1) inproceedings(63) proceedings(2)
Venues (Conferences, Journals, ...)
CoRR(14) LPNMR(9) Ann. Math. Artif. Intell.(8) Fundam. Inform.(6) ICLP(5) KR(5) Theor. Comput. Sci.(5) Ann. Pure Appl. Logic(4) ISMIS(4) TPLP(4) Answer Set Programming(3) Artif. Intell.(3) JELIA(3) LFCS(3) LICS(3) NMR(3) More (+10 of total 54)
Authors
V. Wiktor Marek(89) Miroslaw Truszczynski(61) Victor W. Marek(39) Jeffrey B. Remmel(37) Anil Nerode(17) Marc Denecker(10) Raphael A. Finkel(6) Ilkka Niemelä(5) Inna Pivkina(5) Jan Treur(4) Helena Rasiowa(3) Michael R. Dransfield(3) Pawel Cholewinski(3) V. S. Subrahmanian(3) Arcot Rajasekar(2) Artur Mikitiuk(2) More (+10 of total 48)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 7 occurrences of 7 keywords
Results
Found 128 publication records. Showing 128 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Mauricio Osorio, Victor W. Marek Preface. Search on Bibsonomy Fundam. Inform. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Victor W. Marek, Miroslaw Truszczynski Reiter's Default Logic Is a Logic of Autoepistemic Reasoning And a Good One, Too Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Origins of Answer-Set Programming - Some Background And Two Personal Accounts Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Guarded resolution for Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Effectively Reasoning about Infinite Sets in Answer Set Programming. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Jeffrey B. Remmel Guarded resolution for answer set programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel The complexity of recursive constraint satisfaction problems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel An Application of Proof-Theory in answer Set Programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Automata and Answer Set Programming. Search on Bibsonomy LFCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Approximation Schemes in Logic and Artificial Intelligence. Search on Bibsonomy T. Rough Sets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Howard A. Blair, Victor W. Marek, Jeffrey B. Remmel Set based logic programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68Q05, 68T99, 03D99
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone abstract constraint atoms. Search on Bibsonomy TPLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Victor W. Marek Quo Vadis Answer Set Programming? Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko (eds.) Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Search on Bibsonomy T. Rough Sets The full citation details ... 2007 DBLP  BibTeX  RDF
1Victor W. Marek Characterizing Pawlak's Approximation Operators. Search on Bibsonomy T. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Compactness Properties for Stable Semantics of Logic Programs. Search on Bibsonomy Fundam. Inform. The full citation details ... 2007 DBLP  BibTeX  RDF
1Victor W. Marek Explanatory Nonmonotonic Reasoning by Alexander Bochman, World Scientific, Hardback: ISBN 981-256-101-3, xiv + 408 pages. Search on Bibsonomy TPLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Compactness Properties for Stable Semantics of Logic Programs. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Rough Sets and Approximation Schemes. Search on Bibsonomy RSEISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski, V. Wiktor Marek, Raphael A. Finkel Generating Cellular Puzzles with Logic Programs. Search on Bibsonomy IC-AI The full citation details ... 2006 DBLP  BibTeX  RDF
1Victor W. Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone abstract constraint atoms Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Robert S. Boyer, Wilfred J. Legato, Victor W. Marek Toward Automating the Discovery of Decreasing Measures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2005 DBLP  DOI  BibTeX  RDF decreasing measures, automated reasoning
1Douglas A. Cenzer, Jeffrey B. Remmel, Victor W. Marek Logic programming with infinite sets. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF logic programming, nonmonotonic logic
1Victor W. Marek, Jeffrey B. Remmel Normal Form Theorem for Logic Programs with Cardinality Constraints. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Jeffrey B. Remmel, Victor W. Marek Set Based Logic Programming. Search on Bibsonomy Nonmonotonic Reasoning, Answer Set Programming and Constraints The full citation details ... 2005 DBLP  BibTeX  RDF
1Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski Approximating Answer Sets of Unitary Lifschitz-Woo Programs. Search on Bibsonomy LPNMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Douglas Cenzer, V. Wiktor Marek, Jeffrey B. Remmel Using Logic Programs to Reason about Infinite Sets. Search on Bibsonomy ISAIM The full citation details ... 2004 DBLP  BibTeX  RDF
1V. Wiktor Marek, Jeffrey B. Remmel Set Constraints in Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic Programs With Monotone Cardinality Atoms. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Douglas A. Cenzer, V. Wiktor Marek, Jeffrey B. Remmel Using Logic Programs to Reason about Infinite Sets. Search on Bibsonomy AMAI The full citation details ... 2004 DBLP  BibTeX  RDF
1Marc Denecker, Victor W. Marek, Miroslaw Truszczynski Ultimate approximation and its application in nonmonotonic knowledge representation systems. Search on Bibsonomy Inf. Comput. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski Constraint Lingo: towards high-level constraint programming. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Michael R. Dransfield, Lengning Liu, Victor W. Marek, Miroslaw Truszczynski Satisfiability and Computing van der Waerden Numbers. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2004 DBLP  BibTeX  RDF
1Hemantha Ponnuru, Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski Automatic Generation of English-language Steps in Puzzle Solving. Search on Bibsonomy IC-AI The full citation details ... 2004 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel Answer set programming with default logic. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms. Search on Bibsonomy AAAI The full citation details ... 2004 DBLP  BibTeX  RDF
1V. Wiktor Marek, Jeffrey B. Remmel On the Expressibility of Stable Logic Programming Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski Satisfiability and computing van der Waerden numbers Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1V. Wiktor Marek, Ilkka Niemelä, Miroslaw Truszczynski Logic programs with monotone cardinality atoms Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Uniform semantic treatment of default and autoepistemic logics. Search on Bibsonomy Artif. Intell. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Jeffrey B. Remmel On the expressibility of stable logic programming. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Michael R. Dransfield, V. Wiktor Marek, Miroslaw Truszczynski Satisfiability and Computing van der Waerden Numbers. Search on Bibsonomy SAT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Ultimate approximations in nonmonotonic knowledge representation systems Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski Annotated revision programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Raphael A. Finkel, V. Wiktor Marek, Miroslaw Truszczynski Constraint Lingo: A Program for Solving Logic Puzzles and Other Tabular Constraint Problems. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Ultimate Approximations in Nonmonotonic Knowledge Representation Systems. Search on Bibsonomy KR The full citation details ... 2002 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel On logic programs with cardinality constraints. Search on Bibsonomy NMR The full citation details ... 2002 DBLP  BibTeX  RDF
1Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski Default logic and specification of nonmonotonic reasoning. Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski Annotated revision programs Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Marc Denecker, Maurice Bruynooghe, V. Wiktor Marek Logic programming revisited: Logic programs as inductive definitions. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF epistemological foundations, inductive definitions
1V. Wiktor Marek, Jeffrey B. Remmel On the Expressibility of Stable Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski Computing stable models in parallel. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Raphael A. Finkel, Victor W. Marek, Miroslaw Truszczynski Tabular Constraint-Satisfaction Problems and Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Victor W. Marek, Jeffrey B. Remmel On the Foundations of Answer Set Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2001 DBLP  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Uniform semantic treatment of default and autoepistemic logic. Search on Bibsonomy KR The full citation details ... 2000 DBLP  BibTeX  RDF
1Marc Denecker, Victor W. Marek, Miroslaw Truszczynski Uniform semantic treatment of default and autoepistemic logics Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Logic Programs, Well-Orderings, and Forward Chaining. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Contributions to the Theory of Rough Sets. Search on Bibsonomy Fundam. Inform. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Fixpoint 3-valued semantics for autoepistemic logic Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski Representation Theory for Default Logic Search on Bibsonomy CoRR The full citation details ... 1999 DBLP  BibTeX  RDF
1Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski, Artur Mikitiuk Computing with Default Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski Annotated Revision Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Revision Programming. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Bradley F. Burton, V. Wiktor Marek Applications of the JAVA Programming Language to Database Management. Search on Bibsonomy SIGMOD Record The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Waldemar W. Koczkodaj, Marian Orlowski, V. Wiktor Marek Myths about Rough Set Theory. Search on Bibsonomy Commun. ACM The full citation details ... 1998 DBLP  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Rough Sets - What Are They About? Search on Bibsonomy Rough Sets and Current Trends in Computing The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczynski Revision Programming = Logic Programming + Integrity Constraints. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Marc Denecker, V. Wiktor Marek, Miroslaw Truszczynski Fixpoint 3-Valued Semantics for Autoepistemic Logic. Search on Bibsonomy AAAI/IAAI The full citation details ... 1998 DBLP  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Stable models and an alternative logic programming paradigm Search on Bibsonomy CoRR The full citation details ... 1998 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Complexity of Recursive Normal Default Logic. Search on Bibsonomy Fundam. Inform. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Nonmonotonic rule systems with recursive sets of restraints. Search on Bibsonomy Arch. Math. Log. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski Representation Theory for Default Logic. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Basic Forward Chaining Construction for Logic Programs. Search on Bibsonomy LFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Joseph D. Oldham, V. Wiktor Marek, Miroslaw Truszczynski Intelligent Computation of Presentation Documents. Search on Bibsonomy ISMIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Georg Gottlob, V. Wiktor Marek Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Search on Bibsonomy Fundam. Inform. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joseph D. Oldham, V. Wiktor Marek Toward Intelligent Representation of Database Content. Search on Bibsonomy ISMIS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Joeri Engelfriet, V. Wiktor Marek, Jan Treur, Miroslaw Truszczynski Infinitary Default Logic for Specification of Nonmonotonic Reasoning. Search on Bibsonomy JELIA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF infinitary default logic, representability, extensions, default logic
1Pawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski Default Reasoning System DeReS. Search on Bibsonomy KR The full citation details ... 1996 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel On the Complexity of Abduction. Search on Bibsonomy LICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Howard A. Blair, V. Wiktor Marek, John S. Schlipf The Expressiveness of Locally Stratified Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Arcot Rajasekar, Miroslaw Truszczynski Complexity of Computing with Extended Propositional Logic Programs. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1William Brooks, V. Wiktor Marek, Miroslaw Truszczynski Algorithms for Maintaining Authorization Bases. Search on Bibsonomy OOIS The full citation details ... 1995 DBLP  BibTeX  RDF
1Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk, Miroslaw Truszczynski Experimenting with Nonmonotonic Reasoning. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel On Logical Constraints in Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode (eds.) Logic Programming and Nonmonotonic Reasoning, Third International Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings Search on Bibsonomy LPNMR The full citation details ... 1995 DBLP  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Revision Programming, Database Updates and Integrity Constraints. Search on Bibsonomy ICDT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning Search on Bibsonomy LICS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel The Stable Models of a Predicate Logic Program. Search on Bibsonomy J. Log. Program. The full citation details ... 1994 DBLP  BibTeX  RDF
1V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel A Context for Belief Revision: Forward Chaining - Normal Nonmonotonic Rule Systems. Search on Bibsonomy Ann. Pure Appl. Logic The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jürgen Dix, Georg Gottlob, V. Wiktor Marek Causal Models of Disjunctive Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1994 DBLP  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Revision Specifications by Means of Programs. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Anil Nerode, Victor W. Marek, V. S. Subrahmanian Introduction. Search on Bibsonomy Meth. of Logic in CS The full citation details ... 1994 DBLP  BibTeX  RDF
1V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski Modal Nonmonotonic Logics: Ranges, Characterization, Computation. Search on Bibsonomy J. ACM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. Search on Bibsonomy J. Intell. Inf. Syst. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Helena Rasiowa, V. Wiktor Marek Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). Search on Bibsonomy ISMIS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1V. Wiktor Marek, Miroslaw Truszczynski Reflective Autoepistemic Logic and Logic Programming. Search on Bibsonomy LPNMR The full citation details ... 1993 DBLP  BibTeX  RDF
1V. Wiktor Marek Complexity Issues in Nonmonotonic Logic and Logic Programming (Abstract). Search on Bibsonomy Kurt Gödel Colloquium The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Nonmonotonic logic - context-dependent reasoning. Search on Bibsonomy 1993   RDF
1V. Wiktor Marek, V. S. Subrahmanian The Relationship Between Stable, Supported, Default and Autoepistemic Semantics for General Logic Programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 128 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.