Jürgen Dix

Best Publications

• Multi-Agent Programming:

  Amal El Fallah Seghrouchni;Jürgen Dix;Mehdi Dastani;Rafael H. Bordini

  565
  Citations

• Multi-Agent Programming: Languages, Tools and Applications

  Rafael H. Bordini;Mehdi Dastani;Jürgen Dix;Amal El Fallah Seghrouchni

  532
  Citations

• Nonmonotonic Reasoning: An Overview

  Gerhard Brewka;Jurgen Dix;Kurt Konolige

  314
  Citations

• Heterogeneous Agent Systems

  V. S. Subrahmanian;Jurgen Dix;Fatma Ozcan

  280
  Citations

• A Classification Theory Of Semantics Of Normal Logic Programs: I. Strong Properties

  Unknown

  217
  Citations

• A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation

  Unknown

  136
  Citations

• Semantics of (disjunctive) logic programs based on partial evaluation

  Unknown

  123
  Citations

• Semantics of Logic Programs: Their Intuitions and Formal Properties. An Overview.

  Unknown

  117
  Citations

• Characterizations of the disjunctive stable semantics by partial evaluation

  Unknown

  110
  Citations

• Knowledge representation with logic programs

  G. Brewka;J. Dix

  109
  Citations

• Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.

  Unknown

  106
  Citations

• Programming Multi-Agent Systems

  Unknown

  99
  Citations

• Transformation-based bottom-up computation of the well-founded model

  Unknown

  95
  Citations

• Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA

  Unknown

  94
  Citations

• Knowledge Representation with Logic Programs

  Gerhard Brewka;Jürgen Dix

  84
  Citations

• Model Checking Logics of Strategic Ability: Complexity*

  Unknown

  83
  Citations

• Towards an environment interface standard for agent platforms

  Tristan M. Behrens;Koen V. Hindriks;Jürgen Dix

  82
  Citations

• Classifying Semantics of Disjunctive Logic Programs.

  Unknown

  79
  Citations

• A general Approach to Bottom-Up Computation of Disjunctive Semantics

  Unknown

  78
  Citations

• A Framework for Representing and Characterizing Semantics of Logic Programs.

  Unknown

  77
  Citations