Result 1 to 20 of 168 total
A general family of preferential belief removal operators. (English)
J. Philos. Log. 41, No. 4, 711-733 (2012).
1
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).
2
Semantic foundation for preferential description logics. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 491-500 (2011).
3
Elongation control in an algorithmic chemistry. (English)
Kampis, George (ed.) et al., Advances in artificial life. Darwin meets von Neumann. 10th European conference, ECAL 2009, Budapest, Hungary, September 13‒16, 2009. Revised selected papers, Part I. Berlin: Springer (ISBN 978-3-642-21282-6/pbk). Lecture Notes in Computer Science 5777. Lecture Notes in Artificial Intelligence, 273-280 (2011).
4
On the link between partial meet, kernel, and infra contraction and its application to Horn logic. (English)
J. Artif. Intell. Res. (JAIR) 42, 31-53 (2011).
5
Root justifications for ontology repair. (English)
Rudolph, Sebastian (ed.) et al., Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29‒30, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23579-5/pbk). Lecture Notes in Computer Science 6902, 275-280 (2011).
6
How to revise a total preorder. (English)
J. Philos. Log. 40, No. 2, 193-238 (2011).
7
Multilingual annotation and disambiguation of discourse connectives for machine translation (English)
SIGDIAL Conference, 194-203 (2011).
8
Disambiguating temporal-contrastive connectives for machine translation (English)
ACL (Student Session), 46-51 (2011).
9
Semantic foundation for preferential description logics (English)
Australasian Conference on Artificial Intelligence, 491-500 (2011).
10
Concept model semantics for DL preferential reasoning (English)
Description Logics (2011).
11
Bidirectional reachability-based modules (English)
Description Logics (2011).
12
Force-based navigation in wireless sensornets (English)
DCOSS, 1-6 (2011).
13
Root justifications for ontology repair (English)
RR, 275-280 (2011).
14
Circumventing a ring oscillator approach to FPGA-based hardware trojan detection (English)
ICCD, 289-292 (2011).
15
Horn belief change: a contraction core. (English)
Coelho, Helder (ed.) et al., ECAI 2010. 19th European conference on artificial intelligence, August 16‒20, 2010 Lisbon, Portugal. Including proceedings of the 6th prestigious applications of artificial intelligence (PAIS-2010). Amsterdam: IOS Press (ISBN 978-1-60750-605-8/pbk; 978-1-60750-606-5/ebook). Frontiers in Artificial Intelligence and Applications 215, 1065-1066 (2010).
16
Equilibria in social belief removal. (English)
Synthese 177, Suppl. 1, 97-123 (2010).
17
Quantum cryptography. (English)
Benatti, Fabio (ed.) et al., Quantum information, computation and cryptography. An introductory survey of theory, technology and experiments. Berlin: Springer (ISBN 978-3-642-11913-2/pbk; 978-3-642-11914-9/ebook). Lecture Notes in Physics 808, 277-308 (2010).
18
Double preference relations for generalised belief change. (English)
Artif. Intell. 174, No. 16-17, 1339-1368 (2010).
19
A logic for reasoning about actions and explicit observations. (English)
Li, Jiuyong (ed.), AI 2010: Advances in artificial intelligence. 23rd Australasian joint conference, Adelaide, Australia, December 7‒10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17431-5/pbk). Lecture Notes in Computer Science 6464. Lecture Notes in Artificial Intelligence, 395-404 (2010).
20
Result 1 to 20 of 168 total
Start
Contact
Print
General Help
