Result 1 to 20 of 355 total
Discussion paper: changing norms is changing obligation change. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 199-214 (2012).
1
Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations. (English)
Ågotnes, Thomas (ed.) et al., Deontic logic in computer science. 11th international conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31569-5/pbk). Lecture Notes in Computer Science 7393. Lecture Notes in Artificial Intelligence, 91-107 (2012).
2
A numerical approach to the merging of argumentation networks. (English)
Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 195-212 (2012).
3
Bipolar argumentation frames and contrary to duty obligations, preliminary report. (English)
Fisher, Michael (ed.) et al., Computational logic in multi-agent systems. 13th international workshop, CLIMA XIII, Montpellier, France, August 27‒28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32896-1/pbk). Lecture Notes in Computer Science 7486. Lecture Notes in Artificial Intelligence, 1-24 (2012).
4
Conditional labelling for abstract argumentation. (English)
Modgil, Sanjay (ed.) et al., Theory and applications of formal argumentation. First international workshop, TAFA 2011. Barcelona, Spain, July 16‒17, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29183-8/pbk). Lecture Notes in Computer Science 7132. Lecture Notes in Artificial Intelligence, 232-248 (2012).
5
Multi-sorted argumentation. (English)
Modgil, Sanjay (ed.) et al., Theory and applications of formal argumentation. First international workshop, TAFA 2011. Barcelona, Spain, July 16‒17, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29183-8/pbk). Lecture Notes in Computer Science 7132. Lecture Notes in Artificial Intelligence, 215-231 (2012).
6
An equational approach to logic programming. (English)
Erdem, Esra (ed.) et al., Correct reasoning. Essays on logic-based AI in honour of Vladimir Lifschitz. Berlin: Springer (ISBN 978-3-642-30742-3/pbk). Lecture Notes in Computer Science 7265, 279-295 (2012).
7
What is negation as failure? (English)
Artikis, Alexander (ed.) et al., Logic programs, norms and action. Essays in honor of Marek J. Sergot on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29413-6/pbk). Lecture Notes in Computer Science 7360. Lecture Notes in Artificial Intelligence, 52-78 (2012).
8
The functional interpretation of logical deduction. (English)
Advances in Logic 5. Hackensack, NJ: World Scientific (ISBN 978-981-4360-95-1/hbk; 978-981-4360-96-8/ebook). xxxii, 266~p. \$~98.00, \sterling~65.00/hbk; \$~127.00, \sterling~84.00/ebook (2012).
9
Interpolable formulas in equilibrium logic and answer set programming. (English)
J. Artif. Intell. Res. (JAIR) 42, 917-943 (2011).
10
Argumentative agents negotiating on potential attacks. (English)
O’Shea, James (ed.) et al., Agent and multi-agent systems: technologies and applications. 5th KES international conference, KES-AMSTA 2011, Manchester, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21999-3/pbk). Lecture Notes in Computer Science 6682. Lecture Notes in Artificial Intelligence, 280-290 (2011).
11
Embedding and automating conditional logics in classical higher-order logic. (English)
Comput. Res. Repos. 2011, Article No. 1106.3685 (2011).
12
Arguing about the trustworthiness of the information sources. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 74-85 (2011).
13
Introducing equational semantics for argumentation networks. (English)
Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 ‒ July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 19-35 (2011).
14
Reactive intuitionistic tableaux. (English)
Synthese 179, No. 2, 253-269 (2011).
15
Reactive automata. (English)
Inf. Comput. 209, No. 4, 692-704 (2011).
16
Modal access control logic. Axiomatization, semantics and FOL theorem proving. (English)
Ågotnes, Thomas (ed.), STAIRS 2010. Proceedings of the fifth starting AI researchers’ symposium, Lisbon, Portugal, August 16‒20, 2010. Amsterdam: IOS Press (ISBN 978-1-60750-675-1/hbk; 978-1-60750-676-8/ebook). Frontiers in Artificial Intelligence and Applications 222, 114-126 (2011).
17
Reactive intuitionistic tableaux (English)
Synthese 179, No. 2, 253-269 (2011).
18
Conditionals and modularity in general logics (English)
Cognitive Technologies, 1-221 (2011).
19
Introducing equational semantics for argumentation networks (English)
ECSQARU, 19-35 (2011).
20
Result 1 to 20 of 355 total
Start
Contact
Print
General Help
