Sciweavers

10666 search results - page 1854 / 2134
» Quantum programming languages
Sort
View
ICAISC
2010
Springer
15 years 6 months ago
CI in General Game Playing - To Date Achievements and Perspectives
Abstract. Multigame playing agents are programs capable of autonomously learning to play new, previously unknown games. In this paper, we concentrate on the General Game Playing Co...
Karol Waledzik, Jacek Mandziuk
131
Voted
ECAI
2008
Springer
15 years 6 months ago
A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases
Abstract. With the advent of the Semantic Web, the question becomes important how to best combine open-world based ontology languages, like OWL, with closed-world rules paradigms. ...
Matthias Knorr, José Júlio Alferes, ...
ICALT
2007
IEEE
15 years 6 months ago
A Collaborative Medical Case Authoring Environment Based on UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Phattanapon Rhienmora, Peter H...
ECMDAFA
2008
Springer
74views Hardware» more  ECMDAFA 2008»
15 years 6 months ago
Annotation Framework Validation Using Domain Models
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
Carlos Noguera, Laurence Duchien
149
Voted
FLOPS
2008
Springer
15 years 6 months ago
Semantics and Pragmatics of New Shortcut Fusion Rules
We study various shortcut fusion rules for languages like Haskell. Following a careful semantic account of a recently proposed rule for circular program transformation, we propose ...
Janis Voigtländer
« Prev « First page 1854 / 2134 Last » Next »