A Component-based and Abstractivistic Agent Architecture for the Modelling of Mas in the Social Sciences

[1]  Chandrabose Aravindan.  An Abductive Framework for Negation in Disjunctive Logic Programming , 1996, JELIA.

[2]  Wenjin Lu.  Minimal Model Generation Based on E-hyper Tableaux , 1997, KI.

[3]  Jürgen Dix,et al.  Logisches Programmieren mit Negation und Disjunktion , 1996, Künstliche Intell..

[4]  S. Schmidt.  Der Diskurs des Radikalen Konstruktivismus , 1987 .

[5]  Luís Moniz Pereira,et al.  Prolegomena to Logic Programming for Non-monotonic Reasoning , 1996, NMELP.

[6]  L Priese,et al.  Finite H-systems with 3 test tubes are not predictable. , 1998, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[7]  A. Winter.  Generic Support for Understanding Heterogeneous Software Generic Support for Understanding Heterogeneous Software , 1995 .

[8]  Jürgen Dix,et al.  Characterizations and Implementation of Static Semantics of Disjunctive Programs , 1996 .

[9]  Chandrabose Aravindan,et al.  A Rational and Efficient Algorithm for View Deletion in Databases , 1997, ILPS.

[10]  Jürgen Ebert,et al.  Graph Based Modeling and Implementation with EER / GRAL , 1996, ER.

[11]  Lutz Priese,et al.  Abstract Fairness and Semantics , 1997, Theor. Comput. Sci..

[12]  Jim Doran,et al.  Simulating Collective Misbelief , 1998, J. Artif. Soc. Soc. Simul..

[13]  R. Hegselmann,et al.  Simulating Social Phenomena , 1997 .

[14]  Peter Baumgartner,et al.  Tableaux for Diagnosis Applications , 1997, TABLEAUX.

[15]  Jürgen Ebert,et al.  A Generic System to Support Multi-Level Understanding of Heterogeneous Software , 1997 .

[16]  Frank Dignum,et al.  Modelling Social Agents: Communication as Action , 1996, ATAL.

[17]  Ilkka Niemelä.  Implementing Circumscription Using a Tableau Method , 1996, ECAI.

[18]  Harro Wimmel.  Fachberichte Informatik on Some Compositional Petri Net Semantics Universitt at Koblenz{landau on Some Compositional Petri Net Semantics , 1995 .

[19]  Peter Baumgartner,et al.  Model Elimination, Logic Programming and Computing Answers , 1995, IJCAI.

[20]  Carlo Simon,et al.  The Petri Net Tools Neptun and Poseidon , 1997 .

[21]  Stephan Philippi,et al.  Integration of Integrity Constraints into Object-Oriented Database Schema according to ODMG-93 , 1995 .

[22]  Ilkka Niemell.  A Tableau Calculus for Minimal Model Reasoning Ilkka Niemel a a Tableau Calculus for Minimal Model Reasoning , 1996 .

[23]  Jürgen Ebert,et al.  Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 Reports of the Gdmo Project Specifying Object Oriented Systems Using Gdmo, Zest and Sdl'92 , 1997 .

[24]  F. Stolzenburg,et al.  Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints , 1998 .

[25]  J. Ebert,et al.  Querying Graph Structures with GQL , 1996 .

[26]  Stefan Brass,et al.  D-wfs: a Connuent Calculus and an Equivalent Characterization , 1995 .

[27]  Michael Möhring,et al.  Can Agents Cover All the World , 1997 .

[28]  Angelika Franzke.  GRAL 2.0: A Reference Manual , 1997 .

[29]  Christoph Steigner,et al.  Modelling Timeouts in Protocol Design , 1995 .

[30]  Martin Volk,et al.  Constraint Logic Programming for Computational Linguistics , 1996, LACL.

[31]  Frieder Stolzenburg,et al.  Membership-Constraints and Complexity in Logic Programming with Sets , 1996, FroCoS.

[32]  Jürgen Ebert,et al.  The extract-transform-rewrite cycle: a step towards metaCARE , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[33]  David P. Miller,et al.  Intelligent Agents III Agent Theories, Architectures, and Languages , 1996, Lecture Notes in Computer Science.

[34]  Angelika Franzke,et al.  Recommendations for an Improvement of GDMO Final Report of the GDMO Project March 1997 , 1997 .

[35]  Luciano Serafini,et al.  Formal specification of beliefs in multi‐agent systems , 1999 .

[36]  Peter Baumgartner,et al.  Calculi for Disjunctive Logic Programming , 1997, ILPS.

[37]  Jürgen Dix,et al.  Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations , 1996, Fundam. Informaticae.

[38]  Stephan Philippi,et al.  System modelling using Object-Oriented Pr / T-Nets , 1997 .

[39]  Lutz Priese,et al.  A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri Nets , 1998, Theor. Comput. Sci..

[40]  Frieder Stolzenburg,et al.  A Flexible System for Constraint Disjunctive Logic Programming , 1998, Künstliche Intell..

[41]  Jürgen Dix,et al.  A Comparison of STATIC Semantics with D-WFS , 1996 .

[42]  Wolfgang Albrecht,et al.  Integrating Fixed Priority and Static Scheduling to Maintain External Consistency , 1997 .

[43]  Thomas Marx,et al.  NetCASE -- a Petri Net based Method for Database Application Design and Generation , 1995 .

[44]  U. Furbach.  Re nements for Restart Model Elimination , 1996 .

[45]  Alexander Fronk,et al.  Operational Semantics of Visual Notations Operational Semantics of Visual Design Languages , 1997 .

[46]  Jürgen Dix,et al.  Towards Well-Behaved Semantics Suitable for Aggregation , 1997 .

[47]  N. Luhmann.  Soziale Systeme : Grundriß einer allgemeinen Theorie , 1984 .