Result 1 to 20 of 438 total
Belief revision in non-classical logics. (English)
SpringerBriefs in Computer Science. New York, NY: Springer (ISBN 978-1-4471-4185-3/pbk; 978-1-4471-4186-0/ebook). xi, 120~p. EUR~39.95/net; SFR~53.50; \sterling~35.99/pbk (2013).
1
A general method for deciding about logically constrained issues. (English)
Ann. Math. Artif. Intell. 64, No. 1, 39-72 (2012).
2
Interrogative belief revision based on epistemic strategies. (English)
Stud. Log. 100, No. 3, 453-479 (2012).
3
Agreement theorems in dynamic-epistemic logic. (English)
J. Philos. Log. 41, No. 4, 735-764 (2012).
4
A general family of preferential belief removal operators. (English)
J. Philos. Log. 41, No. 4, 711-733 (2012).
5
Relating ERP-effects to theories of belief update and combining systems. (English)
Aloni, Maria (ed.) et al., Logic, language and meaning. 18th Amsterdam colloquium, Amsterdam, The Netherlands, December 19‒21, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-31481-0/pbk). Lecture Notes in Computer Science 7218, 160-169 (2012).
6
PTL: a propositional typicality logic. (English)
Fariñas del Cerro, Luis (ed.) et al., Logics in artificial intelligence. 13th European conference, JELIA 2012, Toulouse, France, September 26‒28, 2012. Proceeding. Berlin: Springer (ISBN 978-3-642-33352-1/pbk). Lecture Notes in Computer Science 7519. Lecture Notes in Artificial Intelligence, 107-119 (2012).
7
The logic of justified belief change, soft evidence and defeasible knowledge. (English)
Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 168-190 (2012).
8
An approximate approach to belief revision. (English)
Log. J. IGPL 20, No. 2, 486-496 (2012).
9
Modeling local belief revision in a dynamic reasoning system. (English)
Kosseim, Leila (ed.) et al., Advances in artificial intelligence. 25th Canadian conference on artificial intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28‒30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30352-4/pbk). Lecture Notes in Computer Science 7310. Lecture Notes in Artificial Intelligence, 368-373 (2012).
10
Reconfigurable web service composition using belief revision. (English)
Thilagam, P. Santhi (ed.) et al., Advanced computing, networking and security. International conference, ADCONS 2011, Surathkal, India, December 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29279-8/pbk). Lecture Notes in Computer Science 7135, 67-76 (2012).
11
Revising belief without revealing secrets. (English)
Lukasiewicz, Thomas (ed.) et al., Foundations of information and knowledge systems. 7th international symposium, FoIKS 2012, Kiel, Germany, March 5‒9, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28471-7/pbk). Lecture Notes in Computer Science 7153, 51-70 (2012).
12
Inconsistent-tolerant base revision through argument theory change. (English)
Log. J. IGPL 20, No. 1, 154-186 (2012).
13
Revising beliefs on the basis of evidence. (English)
Int. J. Approx. Reasoning 53, No. 3, 396-412 (2012).
14
Private announcement and belief expansion: an internal perspective. (English)
J. Log. Comput. 22, No. 3, 451-479 (2012).
15
Global and iterated contraction and revision: an exploration of uniform and semi-uniform approaches. (English)
J. Philos. Log. 41, No. 1, 143-172 (2012).
16
Belief change in branching time: AGM-consistency and iterated revision. (English)
J. Philos. Log. 41, No. 1, 201-236 (2012).
17
Conditional ranking revision. Iterated revision with sets of conditionals. (English)
J. Philos. Log. 41, No. 1, 237-271 (2012).
18
Bounded revision: two-dimensional belief change between conservative and moderate revision. (English)
J. Philos. Log. 41, No. 1, 173-200 (2012).
19
Prioritized and non-prioritized multiple change on belief bases. (English)
J. Philos. Log. 41, No. 1, 77-113 (2012).
20
Result 1 to 20 of 438 total
Start
Contact
Print
General Help
