Sciweavers

Share
473 search results - page 1 / 95
» Dynamic logics of knowledge and access
Sort
View
SYNTHESE
2010
133views more  SYNTHESE 2010»
10 years 8 months ago
Dynamic logics of knowledge and access
A recurring issue in any formal model representing agents' (changing) informational attitudes is how to account for the fact that the agents are limited in their access to the...
Tomohiro Hoshi, Eric Pacuit
SEAAI
1998
Springer
11 years 5 months ago
Using knowledge nodes for knowledge discovery and collaboration
Today most of the information we produce is stored digitally. We are slowly forced to leave behind us thinking about information as something stored in physical containers as books...
Per Christiansson
EPIA
2009
Springer
11 years 8 months ago
A Logic Programming System for Evolving Programs with Temporal Operators
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
José Júlio Alferes, Alfredo Gabaldon...
CORR
2007
Springer
117views Education» more  CORR 2007»
11 years 1 months ago
Dynamic Logic of Common Knowledge in a Proof Assistant
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...
Pierre Lescanne, Jérôme Puissé...
LFCS
2009
Springer
11 years 8 months ago
Completeness Results for Memory Logics
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
Carlos Areces, Santiago Figueira, Sergio Mera
books