Volgen
Jürgen Dix
Jürgen Dix
Professor, Chair for Artificial Intelligence, TU Clausthal
Geverifieerd e-mailadres voor tu-clausthal.de - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Multi-agent programming: Languages, platforms and applications
RH Bordini, M Dastani, J Dix, AEF Seghrouchni
Springer Science & Business Media, 2005
560*2005
Nonmonotonic reasoning: an overview
G Brewka, J Dix, K Konolige
CSLI publications, 1997
3021997
Heterogeneous agent systems
VS Subrahmanian, P Bonatti, J Dix, T Eiter, S Kraus, R Ross, F Ozcan, ...
MIT press, 2000
300*2000
A classification theory of semantics of normal logic programs: II. weak properties
J Dix
Fundamenta informaticae 22 (3), 257-288, 1995
2041995
A classification theory of semantics of normal logic programs: I. strong properties
J Dix
Fundamenta informaticae 22 (3), 227-255, 1995
1741995
Semantics of logic programs: Their intuitions and formal properties
J Dix
Logic, Action and Information, Essays on Logic in Philosophy and Artificial …, 1995
1461995
Semantics of (disjunctive) logic programs based on partial evaluation
S Brass, J Dix
The Journal of Logic Programming 40 (1), 1-46, 1999
1151999
Disjunctive Semantics based upon Partial and Bottom-Up Evaluation.
S Brass, J Dix
ICLP, 199-213, 1995
1051995
Characterizations of the disjunctive stable semantics by partial evaluation
S Brass, J Dix
The Journal of Logic Programming 32 (3), 207-228, 1997
1021997
Classifying semantics of logic programs
J Dix
LPNMR, 166-180, 1991
911991
Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA
S Brass, J Dix
Journal of automated reasoning 20 (1), 143-165, 1998
871998
Nonmonotonic reasoning: Towards efficient calculi and implementations
J Dix, U Furbach, I Niemelä
Handbook of Automated Reasoning, 1241-1354, 2001
802001
Knowledge representation with logic programs
G Brewka, J Dix
International Workshop on Logic Programming and Knowledge Representation, 1-51, 1997
801997
Towards an environment interface standard for agent platforms
TM Behrens, KV Hindriks, J Dix
Annals of Mathematics and Artificial Intelligence 61 (4), 261-295, 2011
792011
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
792001
Model checking logics of strategic ability: Complexity
N Bulling, J Dix, W Jamroga
Specification and Verification of Multi-Agent Systems, 125-159, 2010
762010
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
721994
Classifying Semantics of Disjunctive Logic Programs.
J Dix
JICSLP, 798-812, 1992
701992
A framework for representing and characterizing semantics of logic programs
J Dix
Proceedings of the Third International Conference on Principles of Knowledge …, 1992
701992
Characterizations of the stable semantics by partial evaluation
S Brass, J Dix
International Conference on Logic Programming and Nonmonotonic Reasoning, 85-98, 1995
671995
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20