Sciweavers

2672 search results - page 256 / 535
» Hybridizing Concept Languages
Sort
View
ICLP
2007
Springer
15 years 10 months ago
Generic Tableaux for Answer Set Programming
Abstract. We provide a general and modular framework for describing inferences in Answer Set Programming (ASP) that aims at an easy incorporation of additional language constructs....
Martin Gebser, Torsten Schaub
MODELS
2007
Springer
15 years 10 months ago
Matching Model-Snippets
An important demand in Model-Driven Development is the simple and efficient expression of model patterns. Current approaches tend to distinguish the language they use to express pa...
Rodrigo Ramos, Olivier Barais, Jean-Marc Jé...
SEMWEB
2007
Springer
15 years 10 months ago
Optimizing the Crisp Representation of the Fuzzy Description Logic SROIQ
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. Fuzzy Description Logics were born to represent the former type of knowledge, but ...
Fernando Bobillo, Miguel Delgado, Juan Góme...
ERLANG
2006
ACM
15 years 10 months ago
Concurrency oriented programming in termite scheme
Termite Scheme is a variant of Scheme intended for distributed computing. It offers a simple and powerful concurrency model, inspired by the Erlang programming language, which is ...
Guillaume Germain
SIGCSE
2006
ACM
128views Education» more  SIGCSE 2006»
15 years 10 months ago
Turning automata theory into a hands-on course
We present a hands-on approach to problem solving in the formal languages and automata theory course. Using the tool JFLAP, students can solve a wide range of problems that are te...
Susan H. Rodger, Bart Bressler, Thomas Finley, Ste...