MIA A Multi-Agent Location Based Information Systems for Mobile Users in 3G Networks
暂无分享,去创建一个
[1] Marcello Balduccini,et al. Logic Programming And Nonmonotonic Reasoning , 1997, Lecture Notes in Computer Science.
[2] Ulrich Furbach,et al. Model-Guided Proof Debugging , 1998 .
[3] Andreas Schmid,et al. Solution for the Counting to Infinity Problem of Distance Vector Routing , 1998 .
[4] Peter Baumgartner,et al. Model Elimination with Simplification and its Application to Software Verification , 1998, Tool Support for System Specification, Development and Verification.
[5] Jürgen Ebert,et al. Program comprehension in multi-language systems , 1998, Proceedings Fifth Working Conference on Reverse Engineering (Cat. No.98TB100261).
[6] Ulrich Furbach,et al. Disjunctive Logic Program = Horn Program + Control Program , 1998, JELIA.
[7] Manfred Kamp. Managing a multi-file, multi-language software repository for program comprehension tools: a generic approach , 1998, Proceedings. 6th International Workshop on Program Comprehension. IWPC'98 (Cat. No.98TB100242).
[8] Bernd Thomas. Anti-Unification Based Learning of T-Wrappers for Information Extraction , 1999 .
[9] Oliver Obst,et al. Spatial Agents Implemented in a Logical Expressible Language , 1999, RoboCup.
[10] Andreas Winter,et al. Querying as an enabling technology in software reengineering , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).
[11] Frieder Stolzenburg,et al. Loop-Detection in Hyper-Tableaux by Powerful Model Generation , 1999, J. Univers. Comput. Sci..
[12] Jürgen Ebert,et al. GraX-an interchange format for reengineering tools , 1999, Sixth Working Conference on Reverse Engineering (Cat. No.PR00303).
[13] Jürgen Ebert,et al. A Formalization of SOCCA , 1999 .
[14] Peter Baumgartner,et al. Abductive Coreference by Model Construction , 1999 .
[15] Jens Woch,et al. Implementation of a Schema-TAG-Parser , 1999 .
[16] Joseph Douglas Horton,et al. Merge Path Improvements for Minimal Model Hyper Tableaux , 1999, TABLEAUX.
[17] Victor W. Marek,et al. The Logic Programming Paradigm , 1999, Artificial Intelligence.
[18] Guillermo R. Simari,et al. lntroducing generalized specificity in logic programming , 2000 .
[19] Andy Schürr,et al. GXL: toward a standard exchange format , 2000, Proceedings Seventh Working Conference on Reverse Engineering.
[20] Bernd Thomas,et al. Ubiquitous Web Information Agents , 2000 .
[21] Steffen Lange,et al. A Unifying Approach to HTML Wrapper Representation and Learning , 2000, Discovery Science.
[22] Oliver Obst,et al. Towards a Logical Approach for Soccer Agents Engineering , 2000, RoboCup.
[23] Manfred Rosendahl,et al. Specification of Symbols and Implementation of Their Constraints in JKogge , 2000 .
[24] Bernd Thomas,et al. MIA An Ubiquitous Multi-Agent Web Information System , 2000 .
[25] Peter Baumgartner,et al. The Taming of the (X)OR , 2000, Computational Logic.
[26] Norbert Eisinger,et al. A Confluent Connection Calculus , 2000, Intellectics and Computational Logic.
[27] Bernd Thomas. Learning T-Wrappers for Information Extraction , 2001 .
[28] Volker Riediger,et al. Folding: an approach to enable program understanding of preprocessed languages , 2001, Proceedings Eighth Working Conference on Reverse Engineering.
[29] Oliver Obst. Specifying Rational Agents with Statecharts and Utility Functions , 2001, RoboCup.
[30] Stephan Philippi,et al. Modelling a concurrent ray-tracing algorithm using object-oriented Petri-Nets , 2001 .
[31] Andreas Winter,et al. Exchanging Graphs with GXL , 2001, GD.
[32] Ulrich Furbach,et al. Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations , 2001, Handbook of Automated Reasoning.
[33] Jürgen Dix,et al. Transformation-based bottom-up computation of the well-founded model , 1996, Theory and Practice of Logic Programming.
[34] Oliver Obst,et al. Qualitative Velocity and Ball Interception , 2002, KI.
[35] Toshiaki Arai,et al. Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.
[36] Margret Groß-Hardt,et al. Processing of Concept Based Queries for XML Data , 2002 .
[37] Peter Baumgartner Ulrich Furbach Bernd Thomas. Model-Based Deduction for Knowledge Representation , 2002 .
[38] Andreas Winter,et al. Towards a Common Query Language for Reverse Engineering , 2002 .
[39] Kurt Lautenbach,et al. Reproducibility of the Empty Marking , 2002, ICATPN.
[40] Margret Groß-Hardt,et al. Concept based querying of semistructured data , 2002, XSW.
[41] Jan Murray. Specifying agents with UML in robotic soccer , 2002, AAMAS '02.
[42] Peter Baumgartner,et al. The Model Evolution Calculus , 2003, CADE.
[43] Ulrich Furbach,et al. AI--A multiple book review , 2003, Artif. Intell..
[44] Jürgen Dix,et al. Relating defeasible and normal logic programming through transformation properties , 2000, Theor. Comput. Sci..
[45] Nicholas Kushmerick,et al. Adaptive Information Extraction: Core Technologies for Information Agents , 2003, AgentLink.
[46] Bernd Thomas,et al. Bottom-Up Learning of Logic Programs for Information Extraction from Hypertext Documents , 2003, PKDD.
[47] Oliver Obst,et al. Using Model-Based Diagnosis to Build Hypotheses about Spatial Environments: A Response to a Technical Challenge , 2003, RoboCup.
[48] Peter Baumgartner,et al. First-order logic Davis-Putnam-Logemann-Loveland procedure , 2003 .
[49] Oliver Obst,et al. Simulation League: The Next Generation , 2003, RoboCup.
[50] Ulrich Furbach,et al. Automatic Classification for the Identification of Relationships in a Meta-Data Repository , 2003, Discovery Science.
[51] J. Ebert,et al. A Generalization of the Hyperspace Approach Using Meta-Models , 2003 .
[52] Kurt Lautenbach,et al. Logical Reasoning and Petri Nets , 2003, ICATPN.
[53] Bernd Thomas,et al. Token-Templates and Logic Programs for Intelligent Web Search , 2000, Journal of Intelligent Information Systems.
[54] Peter Baumgartner,et al. Living Book – Deduction, Slicing, and Interaction , 2004, Journal of Automated Reasoning.
[55] Peter Baumgartner,et al. Automated Deduction Techniques for the Management of Personalized Documents , 2003, Annals of Mathematics and Artificial Intelligence.
[56] Jürgen Dix,et al. Super logic programs , 2000, TOCL.