• Deutsch
Login

OPUS

  • Home
  • Search
  • Browse
  • Publish
  • FAQ

Refine

Author

  • Furbach, Ulrich (7) (remove)

Year of publication

  • 2007 (7) (remove)

Keywords

  • Bluetooth (2)
  • Campus Information System (2)
  • University (2)
  • Automated Theorem Proving Systems (1)
  • Equality (1)
  • Hyper Tableau Calculus (1)
  • IASON (1)
  • Knowledge Compilation (1)
  • MIA (1)
  • Multi-robot System (1)
+ more

Institute

  • Institut für Informatik (7) (remove)

7 search hits

  • 1 to 7
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
CAMPUS NEWS - an information network for pervasive universities (2007)
Furbach, Ulrich ; Maron, Markus ; Read, Kevin
In this paper we describe a network for distributing personalized information within a pervasive university. We discuss the system architecture of our Bluetooth-based CampusNews-system, both, from the administrator and the user viewpoint. We furthermore present first statistical data about the usage of the partial installation at the Koblenz campus together with an outlook to future work.
CAMPUS NEWS - an intelligent Bluetooth-based mobile information network (2007)
Furbach, Ulrich ; Maron, Markus ; Read, Kevin
In this paper we describe a network for distributing personalized Information in a metropolitan area. We discuss the system architecture of our Bluetooth-based information system as well as the reasoning process that fits users" needs with potential messages. We furthermore present our findings on parallelizing Bluetooth connection setup and performance.
Applications of Automated Reasoning (2007)
Furbach, Ulrich ; Obermaier, Claudia
This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
Location based information systems (2007)
Furbach, Ulrich ; Maron, Markus ; Read, Kevin
In this paper we describe a series of projects on location based and personalised information systems. We start wit a basic research project and we show how we came with the help of two other more application oriented project to a product. This is developed by a consortium of enterprises and it already is in use in the city of Koblenz.
Hyper tableaux with equality (2007)
Baumgartner, Peter ; Furbach, Ulrich ; Pelzer, Björn
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit clauses, the candidate model. The calculus also features a generic, semantically justified simplification rule which covers many redundancy elimination techniques known from superposition theorem proving. Our main results are soundness and completeness, but we briefly describe the implementation, too.
Hybrid multiagent systems with timed synchronization (2007)
Furbach, Ulrich ; Murray, Jan ; Schmidsberger, Falk ; Stolzenburg, Frieder
This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is not only shown how multi-robot systems can be modeled by a combination of hybrid automata and hierarchical state machines, but also how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent.
Knowledge compilation for description logics (2007)
Furbach, Ulrich ; Obermaier, Claudia
Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions.
  • 1 to 7

OPUS4 Logo

  • Contact
  • Imprint
  • Sitelinks