Sciweavers

1549 search results - page 208 / 310
» On the rules of intermediate logics
Sort
View
AAAI
2010
13 years 9 months ago
Symmetry Detection in General Game Playing
We develop a method for detecting symmetries in arbitrary games and exploiting these symmetries when using tree search to play the game. Games in the General Game Playing domain a...
Stephan Schiffel
CLA
2004
13 years 9 months ago
A Semi-automatic Method to Ontology Design by Using FCA
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
Hele-Mai Haav
IADIS
2003
13 years 9 months ago
Modelling Adaptive Web Applications
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
Irene Garrigós, Jaime Gómez, Cristin...
KRDB
1996
123views Database» more  KRDB 1996»
13 years 9 months ago
Flexible Query-Answering Systems Modelled in Metalogic Programming
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...
Troels Andreasen, Henning Christiansen
COLING
1992
13 years 9 months ago
Action Relations In Rationale Clauses And Means Clauses
Communication among agents collaborating on a task often involves complex utterances about multiple actions. In this paper, we analyze two particular multiaction constructions, ut...
Cecile T. Balkanski