10916 search results - page 1932 / 2184 » On Constructive Connectives and Systems |
195
click to vote
APN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Coloured Petri nets (CP-nets or CPNs) is a widely used formalism for describing concurrent systems. CPN Tools provides a mature environment for constructing, simulating, ...
150
click to vote
AAAI
2008
15 years 9 months ago
2008
Horn-to-Horn belief revision asks for the revision of a Horn knowledge base such that the revised knowledge base is also Horn. Horn knowledge bases are important whenever one is c...
191
Voted
AIIDE
2007
15 years 9 months ago
2007
The creation of life-like believable characters is emerging as the central focus of next-generation game development and is viewed as critical to obtaining true mass-market appeal...
167
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Ontologies are an increasingly important tool in knowledge representation, as they allow large amounts of data to be related in a logical fashion. Current research is concentrated...
170
click to vote
FLAIRS
2007
15 years 9 months ago
2007
Web search engines like Google have made us all smarter by providing ready access to the world's knowledge whenever we need to look up a fact, learn about a topic or evaluate...