default search action
Logic Journal of the IGPL, Volume 18, 2010
Volume 18, Number 1, February 2010
- Guido Boella, Gabriella Pigozzi, Munindar P. Singh
, Harko Verhagen:
Normative Multiagent Systems: Guest Editors' Introduction. 1-3
- Thomas Ågotnes, Wiebe van der Hoek
Robust normative systems and a logic of norm compliance. 4-30 - Alexander Artikis
Executable specification of open multi-agent systems. 31-65 - José Carmo
Collective agency, direct action and dynamic operators. 66-98 - Tiago de Lima, Lambèr M. M. Royakkers, Frank Dignum:
A logic for reasoning about responsibility. 99-117 - Sindhu Joseph, Carles Sierra
Deductive coherence and norm adoption. 118-156 - Guido Governatori
Changing legal systems: legal abrogations and annulments in Defeasible Logic. 157-194 - Clara Smith, Antonino Rotolo:
Collective trust and normative agents. 195-213 - Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner
A logic of trust and reputation. 214-244 - Serena Villata:
A normative multiagent approach to requirements engineering. 245-274
Volume 18, Number 2, April 2010
- Stephan Hartmann, Carlo Martini
Editorial. 277
- Rogier De Langhe
Standards and the distribution of cognitive labour: A model of the dynamics of scientific activity. 278-293 - Jesús Zamora-Bonilla:
Science: the rules of the game. 294-307 - Paul Weirich
Does collective rationality entail efficiency? 308-322 - Igor Douven, Alexander Riegler:
Extending the Hegselmann-Krause Model I. 323-335 - Carl G. Wagner:
Jeffrey conditioning and external Bayesianity. 336-345 - Stephan Hartmann, Jan Sprenger
The weight of competence under a realistic loss function. 346-352
Volume 18, Number 3, June 2010
- Wojciech Wieczorek:
An algorithm for the decomposition of finite languages. 355-366 - Larisa Maksimova:
Problem of restricted interpolation in superintuitionistic and some modal logics. 367-380 - Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana, Renata P. de Freitas, Mario R. F. Benevides
On vague notions and modalities: a modular approach. 381-402 - Wojciech Zielonka:
On the directional Lambek calculus. 403-421 - Xavier Parent:
A complete axiom set for Hansson's deontic logic DSDL2. 422-429 - Rafal Urbaniak:
Capturing dynamic conceptual frames. 430-455 - Robert Cowen:
Generalized Davis-Putnam and satisfiability problems in mathematics. 456-463 - Rui Da Silva Neves, Souhila Kaci:
Combining totalitarian and Ceteris Paribus semantics in database preference queries. 464-483
Volume 18, Number 4, August 2010
- Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Dynamics of knowledge and belief. 485-487
- Jens Fisseler
Data fusion with probabilistic conditional logic. 488-507 - Haythem O. Ismail:
A reason maintenance perspective on relevant Ramsey conditionals. 508-529 - Guillaume Aucher
Generalizing AGM to a multi-agent setting. 530-558 - Guido Boella, Célia da Costa Pereira
The role of goals in belief selection. 559-578 - Carola Eschenbach, Özgür L. Özçep:
Ontology-revision operators based on reinterpretation. 579-616
Volume 18, Number 5, October 2010
- Marco Gori, Barbara Hammer
Perspectives and challenges for recurrent neural network training. 617-619
- Daan Wierstra, Alexander Förster
Recurrent policy gradients. 620-634 - Benjamin Roeschies, Christian Igel:
Structure optimization of reservoir networks. 635-669 - Ali Ajdari Rad, Martin Hasler, Mahdi Jalili
Reservoir optimization in recurrent neural networks using properties of Kronecker product. 670-685 - Claudius Gros, Gregor Kaczor:
Semantic learning in autonomously active recurrent neural networks. 686-704 - Patrick Simen, Thad A. Polk:
A symbolic/subsymbolic interface protocol for cognitive modeling. 705-761
Volume 18, Number 6, December 2010
- Dov M. Gabbay, Jörg H. Siekmann:
Algorithms in cognition, informatics and logic: A position manifesto. 763-768
- Gilles Dowek
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques. 769-822 - Sergey Babenyshev, Vladimir V. Rybakov
Logics of Kripke meta-models. 823-836 - Wojciech Dzik, Jouni Järvinen
Intuitionistic propositional logic with Galois connections. 837-858 - Waldemar W. Koczkodaj
On distance-based inconsistency reduction algorithms for pairwise comparisons. 859-869 - Domagoj Vrgoc, Mladen Vukovic:
Bisimulations and bisimulation quotients of generalized Veltman models. 870-880 - Christoph Benzmüller, Lawrence C. Paulson
Multimodal and intuitionistic logics in simple type theory. 881-892 - João Rasga
Fusion of sequent modal logic systems labelled with truth values. 893-920 - Heinrich Wansing
Generalized truth values.: A reply to Dubois. 921-935 - Didier Dubois:
Author's response to Wansing and Belnap's Generalized truth-values. 936-940
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: