The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Miroslaw Truszczynski Mirek Truszczynski ( http://dblp.L3S.de/Authors/Miroslaw_Truszczynski )

Publication years (Num. hits)
1980-1991 (26) 1992-1994 (16) 1995-1997 (15) 1998-1999 (19) 2000-2001 (24) 2002-2003 (19) 2004-2005 (21) 2006-2007 (20) 2008-2009 (20) 2010-2011 (19) 2012-2013 (17) 2014-2015 (19) 2016-2019 (20)
Publication types (Num. hits)
article(114) book(2) incollection(4) inproceedings(128) proceedings(7)
Venues (Conferences, Journals, ...)
CoRR(43) LPNMR(24) TPLP(14) AAAI(11) ICLP(11) KR(10) Discrete Mathematics(9) Ann. Math. Artif. Intell.(8) Artif. Intell.(7) IJCAI(7) Fundam. Inform.(6) JELIA(6) ADT(4) AI Magazine(3) Answer Set Programming(3) FODO(3) More (+10 of total 79)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 13 keywords

Results
Found 256 publication records. Showing 255 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovanni Amendola, Francesco Ricca, Mirek Truszczynski Beyond NP: Quantifying over Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zbigniew Lonc, Miroslaw Truszczynski Maximin share allocations on cycles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens The informal semantics of Answer Set Programming: A Tarskian perspective. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Liu Liu, Miroslaw Truszczynski Encoding Selection for Solving Hamiltonian Cycle Problems with ASP. Search on Bibsonomy ICLP Technical Communications The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski Beyond NP: Quantifying over Answer Sets. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski New Complexity Results on Aggregating Lexicographic Preference Trees Using Positional Scoring Rules. Search on Bibsonomy ADT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Mirek Truszczynski A Generator of Hard 2QBF Formulas and ASP Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Miroslaw Truszczynski An introduction to the stable and well-founded semantics of logic programs. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Preference Learning and Optimization for Partial Lexicographic Preference Forests over Combinatorial Domains. Search on Bibsonomy FoIKS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Zbigniew Lonc, Miroslaw Truszczynski Maximin Share Allocations on Cycles. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Maly 0001, Miroslaw Truszczynski, Stefan Woltran Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Xudong Liu, Mirek Truszczynski Learning Partial Lexicographic Preference Trees and Forests over Multi-Valued Attributes. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Ying Zhu, Mirek Truszczynski Learning Importance of Preferences. Search on Bibsonomy GCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski On abstract modular inference systems and solvers. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Zbigniew Lonc, Miroslaw Truszczynski Packing analogue of k-radius sequences. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Maurice Bruynooghe, Marc Denecker, Miroslaw Truszczynski First Order Logic with Inductive Definitions for Model-Based Problem Solving. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski Answer Set Programming: An Introduction to the Special Issue. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran Dual-normal Logic Programs - the Forgotten Class. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran Dual-normal logic programs - the forgotten class. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On equivalence of infinitary formulas under the stable model semantics. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran (eds.) Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday Search on Bibsonomy Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski Towards More Efficient Requirements Formalization: A Study. Search on Bibsonomy REFSQ The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Miroslaw Truszczynski (eds.) Logic Programming and Nonmonotonic Reasoning - 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Learning Partial Lexicographic Preference Trees over Combinatorial Domains. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski An Abstract View on Modularity in Knowledge Representation. Search on Bibsonomy AAAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Reasoning with Preference Trees over Combinatorial Domains. Search on Bibsonomy ADT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ying Zhu, Miroslaw Truszczynski Manipulation and Bribery When Aggregating Ranked Preferences. Search on Bibsonomy ADT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalence of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson The Computational Complexity of Dominance and Consistency in CP-Nets. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano A Measure of Arbitrariness in Abductive Explanations. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano A Measure of Arbitrariness in Abductive Explanations. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Abstract Modular Inference Systems and Solvers. Search on Bibsonomy PADL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Wenbin Li, David Brown, Jane Huffman Hayes, Miroslaw Truszczynski Answer-Set Programming in Requirements Engineering. Search on Bibsonomy REFSQ The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ying Zhu, Miroslaw Truszczynski Manipulation and Bribery in Preference Reasoning under Pareto Principle. Search on Bibsonomy MPREF@AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Preference Trees: A Language for Representing and Reasoning about Qualitative Preferences. Search on Bibsonomy MPREF@AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Abstract Modular Systems and Solvers. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ying Zhu, Miroslaw Truszczynski On Optimal Solutions of Answer Set Optimization Problems. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Amelia Harrison, Vladimir Lifschitz, Miroslaw Truszczynski On Equivalent Transformations of Infinitary Formulas under the Stable Model Semantics. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Artur Mikitiuk, Miroslaw Truszczynski Implementing Informal Semantics of ASP. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Modular Answer Set Solving. Search on Bibsonomy AAAI (Late-Breaking Developments) The full citation details ... 2013 DBLP  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano The View-Update Problem for Indefinite Databases. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Xudong Liu, Miroslaw Truszczynski Aggregating Conditionally Lexicographic Preferences Using Answer Set Programming Solvers. Search on Bibsonomy ADT The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano The View-Update Problem for Indefinite Databases Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Jerzy W. Jaromczyk, Zbigniew Lonc, Miroslaw Truszczynski Constructions of asymptotically shortest k-radius sequences. Search on Bibsonomy J. Comb. Theory, Ser. A The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Shaden Smith, Miroslaw Truszczynski, Alex Westlund Weighted-Sequence Problem: ASP vs CASP and Declarative vs Problem-Oriented Solving. Search on Bibsonomy PADL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Connecting First-Order ASP and the Logic FO(ID) through Reducts. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Yuliya Lierler, Miroslaw Truszczynski, Joost Vennekens A Tarskian Informal Semantics for Answer Set Programming. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano The View-Update Problem for Indefinite Databases. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski Temporal Action Language (TAL): A Controlled Language for Consistency Checking of Natural Language Temporal Requirements - (Preliminary Results). Search on Bibsonomy NASA Formal Methods The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems. Search on Bibsonomy KR The full citation details ... 2012 DBLP  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
1Wolfgang Faber 0001, Miroslaw Truszczynski, Stefan Woltran Strong Equivalence of Qualitative Optimization Problems 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
1Miroslaw Truszczynski Revisiting Epistemic Specifications Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Properties and Applications of Programs with Monotone and Convex Constraints Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Transition Systems for Model Generators - A Unifying Approach Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski Answer set programming at a glance. Search on Bibsonomy Commun. ACM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zbigniew Lonc, Miroslaw Truszczynski On graph equivalences preserved under extensions. Search on Bibsonomy Discrete Mathematics The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Miroslaw Truszczynski Transition systems for model generators - A unifying approach. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Luciano Caroprese, Miroslaw Truszczynski Active integrity constraints and revision programming. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Revisiting Epistemic Specifications. Search on Bibsonomy Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski Logic programs with abstract constraint atoms: The role of computations. Search on Bibsonomy Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Trichotomy and Dichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Luciano Caroprese, Miroslaw Truszczynski Active Integrity Constraints and Revision Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran Representing Preferences Among Sets. Search on Bibsonomy AAAI The full citation details ... 2010 DBLP  BibTeX  RDF
1Gayathri Namasivayam, Miroslaw Truszczynski Simple but Hard Mixed Horn Formulas. Search on Bibsonomy SAT The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (eds.) Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, KR 2010, Toronto, Ontario, Canada, May 9-13, 2010 Search on Bibsonomy KR The full citation details ... 2010 DBLP  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Relativized hyperequivalence of logic programs for modular programming Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Relativized hyperequivalence of logic programs for modular programming. Search on Bibsonomy TPLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF logic here-and-there, answer-set programming, Stable models
1Gayathri Namasivayam, Miroslaw Truszczynski Simple Random Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Trichotomy Results on the Complexity of Reasoning with Disjunctive Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Marc Denecker, Joost Vennekens, Stephen Bond, Martin Gebser, Miroslaw Truszczynski The Second Answer Set Programming Competition. Search on Bibsonomy LPNMR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Nonmonotonic Reasoning. Search on Bibsonomy Handbook of Knowledge Representation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Hyperequivalence of logic programs with respect to supported models. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68Q17, 68T30
1Miroslaw Truszczynski My six encounters with Victor Marek - a personal account. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 01A70
1Michael Kaminski, Miroslaw Truszczynski Preface. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski Preferences and Nonmonotonic Reasoning. Search on Bibsonomy AI Magazine The full citation details ... 2008 DBLP  BibTeX  RDF
1Judy Goldsmith, Jérôme Lang, Miroslaw Truszczynski, Nic Wilson The Computational Complexity of Dominance and Consistency in CP-Nets. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Victor W. Marek, Miroslaw Truszczynski Approximation Schemes in Logic and Artificial Intelligence. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Zbigniew Lonc, Miroslaw Truszczynski On the number of minimal transversals in 3-uniform hypergraphs. Search on Bibsonomy Discrete Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
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
1Luciano Caroprese, Miroslaw Truszczynski Declarative Semantics for Active Integrity Constraints. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Relativized Hyperequivalence of Logic Programs for Modular Programming. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Hyperequivalence of Logic Programs with Respect to Supported Models. Search on Bibsonomy AAAI The full citation details ... 2008 DBLP  BibTeX  RDF
1Luciano Caroprese, Miroslaw Truszczynski Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. Search on Bibsonomy JELIA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski, Stefan Woltran Hyperequivalence of Programs and Operators. Search on Bibsonomy ISAIM The full citation details ... 2008 DBLP  BibTeX  RDF
1Lengning Liu, Miroslaw Truszczynski Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. Search on Bibsonomy Constraints The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search
1Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski Logic Programs with Abstract Constraint Atoms: The Role of Computations. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Miroslaw Truszczynski Logic Programming for Knowledge Representation. Search on Bibsonomy ICLP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gayathri Namasivayam, Miroslaw Truszczynski An Smodels System with Limited Lookahead Computation. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Lengning Liu, Gayathri Namasivayam, André Neumann, Torsten Schaub, Miroslaw Truszczynski The First Answer Set Programming System Competition. Search on Bibsonomy LPNMR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 255 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license