Sciweavers

1317 search results - page 42 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
DSVIS
2001
Springer
14 years 2 months ago
An XML-Based Runtime User Interface Description Language for Mobile Computing Devices
In a time where mobile computing devices and embedded systems gain importance, too much time is spent to reinventing user interfaces for each new device. To enhance future extensib...
Kris Luyten, Karin Coninx
PADL
2007
Springer
14 years 3 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond
ICALP
2007
Springer
14 years 3 months ago
Modular Algorithms for Heterogeneous Modal Logics
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...
Lutz Schröder, Dirk Pattinson
AAAI
2012
12 years 5 days ago
Learning Games from Videos Guided by Descriptive Complexity
In recent years, several systems have been proposed that learn the rules of a simple card or board game solely from visual demonstration. These systems were constructed for speciï...
Lukasz Kaiser
AMAST
2000
Springer
14 years 2 months ago
Step by Step to Histories
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
Max Breitling, Jan Philipps