| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Rem W. Collier, Jürgen Dix, Peter Novák (eds.) |
Programming Multi-Agent Systems - 8th International Workshop, ProMAS 2010, Toronto, ON, Canada, May 11, 2010. Revised Selected Papers  |
ProMAS  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Wojtek Jamroga, Dov Samet |
Reasoning about Interaction: From Game Theory to Logic and Back (Dagstuhl Seminar 11101). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher |
Where logic and agents meet. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Leite |
Preface to the special issue on computational logics in multi-agent systems. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan M. Behrens, Koen V. Hindriks, Jürgen Dix |
Towards an environment interface standard for agent platforms. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan M. Behrens, Jürgen Dix, Jomi Hübner, Michael Köster |
Editorial. |
Ann. Math. Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni |
Preface. |
Autonomous Agents and Multi-Agent Systems |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Jürgen Dix |
Modelling and Verifying Coalitions using Argumentation and ATL. |
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix |
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. |
IEEE Trans. Knowl. Data Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Köster, Tristan M. Behrens, Jürgen Dix, Jomi Fred Hübner, Mehdi Dastani, Peter Novák |
Editorial. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Michael Köster, Peter Novák |
The multi-agent programming contest from 2005-2010 - From gold collecting to herding cows. |
Ann. Math. Artif. Intell. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.) |
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Peter Novák (eds.) |
Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers |
CLIMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Cees Witteveen (eds.) |
Multiagent System Technologies, 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings |
MATES |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan M. Behrens, Koen V. Hindriks, Rafael H. Bordini, Lars Braubach, Mehdi Dastani, Jürgen Dix, Jomi Fred Hübner, Alexander Pokahr |
An Interface for Agent-Environment Interaction. |
ProMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Simon Parsons, Henry Prakken, Guillermo Ricardo Simari |
Research challenges for argumentation. |
Computer Science - R&D |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Tristan M. Behrens, Michael Köster, Peter Novák |
Agenten als Goldgräber und Cowboys. |
KI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Jürgen Dix |
Model Checking Abilities of Agents: A Closer Look. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Multi-agent systems, Model checking, Computational complexity |
| 1 | Nils Bulling, Wojciech Jamroga, Jürgen Dix |
Reasoning about temporal properties of rational play. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B70, 91A26 |
| 1 | Tristan M. Behrens, Mehdi Dastani, Jürgen Dix, Peter Novák |
Agent Contest Competition: 4th Edition. |
ProMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Carlos Iván Chesñevar, Jürgen Dix |
An Argumentative Approach for Modelling Coalitions Using ATL. |
ArgMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix |
Strategic Abilities of Agents. |
FoIKS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Bulling, Jürgen Dix, Carlos Iván Chesñevar |
Modelling coalitions: ATL + argumentation. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan M. Behrens, Jürgen Dix |
Model checking multi-agent systems with logic based Petri nets. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03B70, 68R10, 68T27 |
| 1 | Jürgen Dix, Stephen J. Hegner |
Preface. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Novák, Jürgen Dix |
Adding Structure to Agent Programming Languages. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Jürgen Dix, Peter Novák |
Agent Contest Competition: 3rd Edition. |
PROMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers |
ProMAS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Sarit Kraus, V. S. Subrahmanian |
Heterogeneous temporal probabilistic agents. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
multiagent reasoning, logic programming, uncertainty, temporal reasoning, Probabilistic reasoning |
| 1 | Gerhard Brewka, Jürgen Dix |
Preface. |
Ann. Math. Artif. Intell. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Jürgen Dix, Peter Novák |
The Second Contest on Multi-Agent Systems Based on Computational Logic. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers |
PROMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Stephen J. Hegner (eds.) |
Foundations of Information and Knowledge Systems, 4th International Symposium, FoIKS 2006, Budapest, Hungary, February 14-17, 2006, Proceedings |
FoIKS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Peter Novák, Jürgen Dix |
Modular BDI architecture. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
agent and multiagent architectures, infrastructures and environments for agent systems, frameworks, agent programming languages, BDI architecture |
| 1 | Wojciech Jamroga, Jürgen Dix |
Model Checking Abilities under Incomplete Information Is Indeed Delta2-complete. |
EUMAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Yingqian Zhang |
IMPACT: A Multi-Agent Framework with Declarative Semantics. |
Multi-Agent Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Multi-Agent Programming: Languages, Platforms and Applications |
|
2005 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Dastani, Jürgen Dix, Peter Novák |
The First Contest on Multi-agent Systems Based on Computational Logic. |
CLIMA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Jamroga, Jürgen Dix |
Turning Game Models Turn-Based for Model Checking Properties of Agents. |
BNAIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Jürgen Dix |
Model Checking Strategic Abilities of Agents Under Incomplete Information. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Wolfgang Faber, V. S. Subrahmanian |
The Relationship Between Reasoning About Privacy and Default Logics. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Programming Multi-Agent Systems, Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004 Selected Revised and Invited Papers |
PROMAS |
2005 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Ugur Kuter, Dana S. Nau |
Planning in Answer Set Programming using Ordered Task Decomposition. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Wojciech Jamroga, Jürgen Dix |
Do Agents Make Model Checking Explode (Computationally)? |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, model checking, temporal logic |
| 1 | Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
Super logic programs. |
ACM Trans. Comput. Log. |
2004 |
DBLP DOI BibTeX RDF |
logics of knowledge and beliefs, semantics of logic programs and deductive databases, Nonmonotonic reasoning, negation, static semantics, disjunctive logic programming, well-founded semantics, minimal models |
| 1 | Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix |
Improving Performance of Heterogeneous Agents. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
deduction and theorem proving, multi-agency, logical foundations, multi-agent reasoning, interoperability, distributed AI, heterogenous data sources |
| 1 | Jürgen Dix, João Alexandre Leite, Ken Satoh |
Introduction. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Michael Fisher, Hector J. Levesque, Leon Sterling |
Introduction. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Alexandre Leite (eds.) |
Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers |
CLIMA |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Dastani, Jürgen Dix, Amal El Fallah-Seghrouchni (eds.) |
Programming Multi-Agent Systems, First International Workshop, PROMAS 2003, Melbourne, Australia, July 15, 2003, Selected Revised and Invited Papers |
PROMAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari |
Relating defeasible and normal logic programming through transformation properties. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
Monitoring Agents using Declarative Planning. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Fariba Sadri, Ken Satoh |
Introduction. |
Ann. Math. Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Thomas Eiter, Michael Fink, Axel Polleres, Yingqian Zhang |
Monitoring Agents Using Declarative Planning. |
KI |
2003 |
DBLP DOI BibTeX RDF |
multi agent systems, knowledge representation, planning |
| 1 | Jürgen Dix, Ugur Kuter, Dana S. Nau |
Planning in Answer Set Programming Using Ordered Task Decomposition. |
KI |
2003 |
DBLP DOI BibTeX RDF |
HTN planning, ASP systems, benchmarks, nonmonotonic reasoning |
| 1 | Jürgen Dix, João Alexandre Leite, Ken Satoh |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, João Alexandre Leite, Ken Satoh (eds.) |
Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings |
CLIMA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
multi agent systems, planning |
| 1 | Jürgen Dix, Sarit Kraus, V. S. Subrahmanian |
Agents dealing with time and uncertainty. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
probabilistic/uncertain reasoning, theories of agency, logic programming, temporal reasoning, formalisms and logics |
| 1 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau, Lingling Zhang |
Planning in a multi-agent environment: theory and practice. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
agent selection and planning, agent architectures, formalisms and logics |
| 1 | Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski |
On the equivalence of the static and disjunctive well-founded semantics and its computation. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Schlechta, Jürgen Dix |
Explaining updates by minimal sums. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio, Claudia Zepeda |
A general theory of confluent rewriting systems for logic programming and its applications. |
Ann. Pure Appl. Logic |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Sarit Kraus, V. S. Subrahmanian |
Temporal agent programs. |
Artif. Intell. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski |
Transformation-based bottom-up computation of the well-founded model. |
TPLP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Ilkka Niemelä |
Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations. |
Handbook of Automated Reasoning |
2001 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix |
A Computational Logic Approach to Heterogenous Agent Systems. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, V. S. Subrahmanian, George Pick |
Meta-agent programs. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix, Burkhard Freitag, Ulrich Zukowski |
Transformation-Based Bottom-Up Computation of the Well-Founded Model |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fatma Ozcan, V. S. Subrahmanian, Jürgen Dix |
Improving Performance of heavily loaded agents |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
Super Logic Programs |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Mirco Nanni, V. S. Subrahmanian |
Probabilistic agent programs. |
ACM Trans. Comput. Log. |
2000 |
DBLP DOI BibTeX RDF |
multi-agent reasoning, logic programming, uncertainty, probabilistic reasoning |
| 1 | V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross |
Heterogenous Active Agents |
|
2000 |
RDF |
|
| 1 | Jürgen Dix, Héctor Muñoz-Avila, Dana S. Nau |
IMPACTing SHOP: Planning in a Multi-agent Environment. |
CL-2000 Workshop on Computational Logic in Multi-Agent Systems |
2000 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix |
Semantics of (disjunctive) Logic Programs Based on Partial Evaluation. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | José Arrazola, Jürgen Dix, Mauricio Osorio |
Confluent Rewriting systems in Non-Monotonic Reasoning. |
Computación y Sistemas |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Mirco Nanni, V. S. Subrahmanian |
Probabilistic Agent Programs |
CoRR |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix, Teodor C. Przymusinski |
Computation of the Semantics of Autoepistemic Belief Theories. |
Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix |
Selected Papers of Logic in AI - Editorial. |
Ann. Math. Artif. Intell. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Jorge Lobo |
Editorial - Logic Programming with Non-monotonic Semantics: Representing Knowledge and its Computation. |
Ann. Math. Artif. Intell. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari, Pablo R. Fillottrani |
Automating Defeasible Reasoning with Logic Programming. |
German-Argentinian Workshop on Information Technology |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Karl Schlechta |
Explaining Updates by Minimal Sums. |
FSTTCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Frieder Stolzenburg |
A Framework to Incorporate Non-Monotonic Reasoning Into Constraint Logic Programming. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix |
The Logic Programming Paradigm. |
AI Commun. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix |
Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA. |
J. Autom. Reasoning |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas |
Automated Deduction: a Technological Point of View. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (eds.) |
Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings |
JELIA |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski |
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. |
KR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) |
Logic Programming and Knowledge Representation, Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers |
LPKR |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stefan Brass, Jürgen Dix |
Characterizations of the Disjunctive Stable Semantics by Partial Evaluation. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä |
DisLoP: A Research Project on Disjunctive Logic Programming. |
AI Commun. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Jürgen Dix, Kurt Konolige |
Nonmonotonic Reasoning: An Overview |
|
1997 |
RDF |
|
| 1 | Jürgen Dix, Luís Moniz Pereira, Teodor C. Przymusinski (eds.) |
Non-Monotonic Extensions of Logic Programming, NMELP '96, Bad Honnef, Germany, September 5-6, 1996, Selected Papers |
NMELP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Mauricio Osorio |
On Well-Behaved Semantics Suitable for Aggregation. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Teodor C. Przymusinski, Luís Moniz Pereira |
Logic Programming and Knowledge Representation (LPKR'97). |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Jürgen Dix, Ulrich Furbach, Anil Nerode (eds.) |
Logic Programming and Nonmonotonic Reasoning, 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings |
LPNMR |
1997 |
DBLP BibTeX RDF |
|
| 1 | Chandrabose Aravindan, Jürgen Dix, Ilkka Niemelä |
Dislop: Towards a Disjunctive Logic Programming System. |
LPNMR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Brewka, Jürgen Dix |
Knowledge Representation with Logic Programs. |
LPKR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Georg Gottlob, V. Wiktor Marek |
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. |
Fundam. Inform. |
1996 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")