1055 search results - page 29 / 211 » Enumerations in computable structure theory |
CSL
2010
Springer
13 years 11 months ago
2010
Springer
By a Euclidean logic, we understand a formal language whose variables range over subsets of Euclidean space, of some fixed dimension, and whose non-logical primitives have fixed me...
SARA
2000
Springer
14 years 1 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
DIGRA
2005
Springer
14 years 3 months ago
2005
Springer
For a player to enter the game-world of EverQuest, they must choose a character. Each character fulfills a particular, functional role within the game that defines the game-play e...
SIGMOD
2010
ACM
14 years 2 months ago
2010
ACM
Maximal clique enumeration (MCE) is a fundamental problem in graph theory and has important applications in many areas such as social network analysis and bioinformatics. The prob...
COLING
2010
13 years 5 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...