Sciweavers

803 search results - page 67 / 161
» A Query Language for Logic Architectures
Sort
View
POPL
2012
ACM
12 years 4 months ago
A compiler and run-time system for network programming languages
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
Christopher Monsanto, Nate Foster, Rob Harrison, D...
OWLED
2008
13 years 10 months ago
Augmenting the Expressivity of the Ontology Pre-Processor Language
We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe ...
Luigi Iannone, Mikel Egaña Aranguren, Alan ...
AGI
2008
13 years 10 months ago
Temporal Action Logic for Question Answering in an Adventure Game
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
Martin Magnusson, Patrick Doherty
JELIA
2004
Springer
14 years 2 months ago
Logic Programming Infrastructure for Inferences on FrameNet
Abstract. The growing size of electronically available text corpora like companies’ intranets or the WWW has made information access a hot topic within computational linguistics....
Peter Baumgartner, Aljoscha Burchardt
ACL
2009
13 years 7 months ago
Learning a Compositional Semantic Parser using an Existing Syntactic Parser
We present a new approach to learning a semantic parser (a system that maps natural language sentences into logical form). Unlike previous methods, it exploits an existing syntact...
Ruifang Ge, Raymond J. Mooney