Sciweavers

1645 search results - page 137 / 329
» Conceptual modelling: Knowledge acquisition and model abstra...
Sort
View
LPAR
1999
Springer
15 years 10 months ago
Practical Reasoning for Expressive Description Logics
Abstract. Description Logics (DLs) are a family of knowledge representation formalisms mainly characterised by constructors to build complex concepts and roles from atomic ones. Ex...
Ian Horrocks, Ulrike Sattler, Stephan Tobies
DLOG
2009
15 years 4 months ago
Revision of DL-Lite Knowledge Bases
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
Zhe Wang, Kewen Wang, Rodney W. Topor
ECAL
2007
Springer
16 years 19 days ago
Improving Agent Localisation Through Stereotypical Motion
Abstract. When bees and wasps leave the nest to forage, they perform orientation or learning flights. This behaviour includes a number of stereotyped flight manoeuvres mediating ...
Bart Baddeley, Andrew Philippides
TCC
2007
Springer
91views Cryptology» more  TCC 2007»
16 years 17 days ago
Lower Bounds for Non-interactive Zero-Knowledge
Abstract. We establish new lower bounds and impossibility results for noninteractive zero-knowledge proofs and arguments with set-up assumptions. – For the common random string m...
Hoeteck Wee
AOSE
2005
Springer
16 years 9 hour ago
Applying Multi-agent Concepts to Dynamic Plug-In Architectures
In this work we present the basic concepts for a dynamic plug-in-based software architecture using concepts from the Petri netbased MAS framework Mulan. By transferring the concept...
Lawrence Cabac, Michael Duvigneau, Daniel Moldt, H...