MIA A Multi-Agent Location Based Information Systems for Mobile Users in 3G Networks

The evolving communication infrastructure of the third generation networks provides new possibilities as well as new challenges for information agents. Detailing the architecture of MIA, a prototype of a multi agent information system for mobile users, we describe the impact of upcoming network and client improvements on information agents. The expansion of accessible sources enables the agent system to provide personalized market information just when it becomes available. Due to its autonomous activity the user will not be forced to wait for results after the specification of his wishes. Valuable information services like this will be a driving force in the acceptance of the new mobile network infrastructure.

[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.