Jürgen Dix

Cited by

	All	Since 2020
Citations	5504	434
h-index	36	10
i10-index	102	10

360

180

270

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202540 104 105 141 251 206 124 145 240 130 166 208 220 216 343 210 224 261 229 201 226 188 182 153 109 150 158 102 87 85 95 63 2

Public access

View all

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityVerified email at uu.nl
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeVerified email at dartmouth.edu
Stefan BrassProfessor für Informatik, Martin-Luther-Universität Halle-WittenbergVerified email at informatik.uni-halle.de
Rafael H. BordiniSchool of Technology, PUCRSVerified email at pucrs.br
Amal El Fallah SeghrouchniFull professorVerified email at lip6.fr
Tristan BehrensVerified email at ai-guru.de
Teodor PrzymusinskiProfessor of Computer Science, University of California at RiversideVerified email at cs.ucr.edu
Peter NovákMeandair B.V.Verified email at meandair.com
Tobias AhlbrechtTeacher with special responsibilities at Clausthal University of TechnologyVerified email at tu-clausthal.de
Sarit KrausProfessor Of Computer Science, Bar-Ilan UniversityVerified email at cs.biu.ac.il
Wojciech JamrogaPolish Academy of SciencesVerified email at ipipan.waw.pl
Guillermo R. SimariProfessor Emeritus at Universidad Nacional del SurVerified email at cs.uns.edu.ar
Fatma OzcanGoogleVerified email at google.com
Thomas EiterVienna University of Technology (TU Wien)Verified email at kr.tuwien.ac.at
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerified email at informatik.uni-leipzig.de
Ulrich FurbachProf of Computer Science, Univ. KoblenzVerified email at furbach.de
Nils BullingTU ClausthalVerified email at in.tu-clausthal.de
Dana NauUniversity of MarylandVerified email at umd.edu
Frieder StolzenburgProfessor of Knowledge Based Systems in Computer Science, Harz University of Aplied SciencesVerified email at hs-harz.de
Koen HindriksVrije Universiteit (VU) AmsterdamVerified email at vu.nl

Jürgen Dix

Professor (emeritus), Chair for Artificial Intelligence, TU Clausthal

Verified email at tu-clausthal.de - Homepage

Artificial Intelligence (symbolic)Knowledge Representation Logics of strategic Reasoning Multi


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Multi-agent programming RH Bordini, J Dix, AEF Seghrouchni Springer US, 2009	601	2009
Nonmonotonic reasoning: an overview G Brewka, J Dix, K Konolige CSLI publications, 1997	327	1997
Heterogeneous agent systems VS Subrahmanian MIT press, 2000	254	2000
A classification theory of semantics of normal logic programs: II. weak properties J Dix Fundamenta informaticae 22 (3), 257-288, 1995	208	1995
A classification theory of semantics of normal logic programs: I. strong properties J Dix Fundamenta informaticae 22 (3), 227-255, 1995	190	1995
Semantics of logic programs: Their intuitions and formal properties. An overview J Dix Logic, action and information-Essays on logic in philosophy and artificial …, 2003	151	2003
Semantics of (disjunctive) logic programs based on partial evaluation S Brass, J Dix The Journal of Logic Programming 40 (1), 1-46, 1999	123	1999
Characterizations of the disjunctive stable semantics by partial evaluation S Brass, J Dix The Journal of Logic Programming 32 (3), 207-228, 1997	109	1997
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. S Brass, J Dix ICLP, 199-213, 1995	107	1995
Classifying semantics of logic programs J Dix LPNMR, 166-180, 1991	97	1991
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA S Brass, J Dix Journal of automated reasoning 20, 143-165, 1998	91	1998
Model checking logics of strategic ability: Complexity N Bulling, J Dix, W Jamroga Specification and Verification of Multi-Agent Systems, 125-159, 2010	85	2010
Nonmonotonic reasoning: Towards efficient calculi and implementations J Dix, U Furbach, I Niemelä Handbook of Automated Reasoning, 1241-1354, 2001	83	2001
Knowledge representation with logic programs G Brewka, J Dix International Workshop on Logic Programming and Knowledge Representation, 1-51, 1997	81	1997
Towards an environment interface standard for agent platforms TM Behrens, KV Hindriks, J Dix Annals of Mathematics and Artificial Intelligence 61, 261-295, 2011	79	2011
A framework for representing and characterizing semantics of logic programs J Dix Proceedings of the Third International Conference on Principles of Knowledge …, 1992	77	1992
A general approach to bottom-up computation of disjunctive semantics S Brass, J Dix International Workshop on Non-monotonic Extensions of Logic Programming, 127-155, 1994	76	1994
Transformation-based bottom-up computation of the well-founded model S Brass, J Dix, B Freitag, U Zukowski Theory and Practice of Logic Programming 1 (5), 497-538, 2001	75	2001
Characterizations of the stable semantics by partial evaluation S Brass, J Dix International Conference on Logic Programming and Nonmonotonic Reasoning, 85-98, 1995	73	1995
Classifying Semantics of Disjunctive Logic Programs. J Dix JICSLP, 798-812, 1992	72	1992

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors