Sciweavers

672 search results - page 36 / 135
» On the Expressive Power of the Loop Language
Sort
View
AAAI
1994
15 years 6 months ago
Temporal Reasoning with Constraints on Fluents and Events
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...
Eddie Schwalb, Kalev Kask, Rina Dechter
VL
2000
IEEE
15 years 9 months ago
A Visual Language for XML
XML is becoming one of the most influential standards concerning data exchange and Web-presentations. In this paper we present a visual language for querying and transforming XML...
Martin Erwig
GI
2009
Springer
15 years 8 months ago
Strategic Interaction Definition Language
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
Rustam Tagiew
DATESO
2008
133views Database» more  DATESO 2008»
15 years 6 months ago
Incox - A Language for XML Integrity Constraints Description
Presently, there is no specialized language for complex integrity constraints description in XML documents. In this paper we present a language that combines first-order logic toge...
Katerina Opocenska, Michal Kopecky
OODBS
2000
147views Database» more  OODBS 2000»
15 years 8 months ago
Towards a Unified Query-by-Example (UQBE): UML as a Basis for a Generic Graphical Query Language
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
Miguel Ángel Sicilia Urbán, Elena Ga...