Jürgen Dix

Citeret af

	Alle	Siden 2020
Henvisninger	5521	439
h-index	37	10
i10-indeks	100	10

360

180

270

19931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202539 103 88 130 248 205 118 142 243 131 168 207 216 219 347 220 214 272 232 205 231 192 183 155 112 149 164 96 97 86 94 64 2

Offentlig adgang

Se alle

1 artikel

0 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Mehdi DastaniProfessor, Chair for Intelligent Systems, Utrecht UniversityVerificeret mail på uu.nl
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeVerificeret mail på dartmouth.edu
Stefan BrassProfessor für Informatik, Martin-Luther-Universität Halle-WittenbergVerificeret mail på informatik.uni-halle.de
Rafael H. BordiniSchool of Technology, PUCRSVerificeret mail på pucrs.br
Amal El Fallah SeghrouchniFull professorVerificeret mail på lip6.fr
Tristan BehrensVerificeret mail på ai-guru.de
Teodor PrzymusinskiProfessor of Computer Science, University of California at RiversideVerificeret mail på cs.ucr.edu
Peter NovákMeandair B.V.Verificeret mail på meandair.com
Sarit KrausProfessor Of Computer Science, Bar-Ilan UniversityVerificeret mail på cs.biu.ac.il
Tobias AhlbrechtTeacher with special responsibilities at Clausthal University of TechnologyVerificeret mail på tu-clausthal.de
Wojciech JamrogaPolish Academy of SciencesVerificeret mail på ipipan.waw.pl
Fatma OzcanGoogleVerificeret mail på google.com
Guillermo R. SimariProfessor Emeritus at Universidad Nacional del SurVerificeret mail på cs.uns.edu.ar
Thomas EiterVienna University of Technology (TU Wien)Verificeret mail på kr.tuwien.ac.at
Gerhard BrewkaProfessor of Computer Science, Leipzig UniversityVerificeret mail på informatik.uni-leipzig.de
Ulrich FurbachProf of Computer Science, Univ. KoblenzVerificeret mail på furbach.de
Nils BullingTU ClausthalVerificeret mail på in.tu-clausthal.de
Dana NauUniversity of MarylandVerificeret mail på umd.edu
Frieder StolzenburgProfessor of Knowledge Based Systems in Computer Science, Harz University of Aplied SciencesVerificeret mail på hs-harz.de
Koen HindriksVrije Universiteit (VU) AmsterdamVerificeret mail på vu.nl

Følg

Jürgen Dix

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

Verificeret mail på tu-clausthal.de - Startside

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


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Multi-agent programming RH Bordini, J Dix, AEF Seghrouchni Springer US, 2009	604	2009
Nonmonotonic reasoning: an overview G Brewka, J Dix, K Konolige CSLI publications, 1997	334	1997
Heterogeneous agent systems VS Subrahmanian MIT press, 2000	257	2000
A classification theory of semantics of normal logic programs: II. weak properties J Dix Fundamenta informaticae 22 (3), 257-288, 1995	211	1995
A classification theory of semantics of normal logic programs: I. strong properties J Dix Fundamenta informaticae 22 (3), 227-255, 1995	181	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	153	2003
Semantics of (disjunctive) logic programs based on partial evaluation S Brass, J Dix The Journal of Logic Programming 40 (1), 1-46, 1999	125	1999
Characterizations of the disjunctive stable semantics by partial evaluation S Brass, J Dix The Journal of Logic Programming 32 (3), 207-228, 1997	108	1997
Disjunctive Semantics based upon S Brass, J Dix Logic Programming: Proceedings of the Twelfth International Conference on …, 1995	105	1995
Classifying semantics of logic programs J Dix LPNMR, 166-180, 1991	96	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	88	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	83	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	75	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	74	2001
Characterizations of the stable semantics by partial evaluation S Brass, J Dix International Conference on Logic Programming and Nonmonotonic Reasoning, 85-98, 1995	72	1995
Classifying Semantics of Disjunctive Logic Programs. J Dix JICSLP, 798-812, 1992	70	1992

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere