Sciweavers

25218 search results - page 26 / 5044
» A Logic-Based Information System
Sort
View
AAAI
2012
13 years 5 days ago
HyperPlay: A Solution to General Game Playing with Imperfect Information
General Game Playing is the design of AI systems able to understand the rules of new games and to use such descriptions to play those games effectively. Games with imperfect infor...
Michael John Schofield, Timothy Joseph Cerexhe, Mi...
AMAST
2000
Springer
15 years 2 months ago
Distance Functions for Defaults in Reactive Systems
Default reasoning has become an important topic in software engineering. In particular, defaults can be used to revise speci cations, to enhance reusability of existing systems, an...
Sofia Guerra
SAS
1991
Springer
102views Formal Methods» more  SAS 1991»
15 years 1 months ago
Equational Logics
d Abstract) Marcelo Fiore1 Chung-Kil Hur2,3 Computer Laboratory University of Cambridge Cambridge, UK We introduce an abstract general notion of system of equations between terms,...
Yong Sun
JCS
2007
103views more  JCS 2007»
14 years 9 months ago
Risk management for distributed authorization
Distributed authorization takes into account several elements, including certificates that may be provided by non-local actors. While most trust management systems treat all asse...
Christian Skalka, Xiaoyang Sean Wang, Peter C. Cha...