default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic and Computation, Volume 23
Volume 23, Number 1, February 2013
- Norihiro Kamide:
Strong normalization in some temporal substructural logics. 1-24
- Andrew Koster
, W. Marco Schorlemmer, Jordi Sabater-Mir:
Opening the black box of trust: reasoning about trust models in a BDI agent. 25-58
- Ori Lahav, Arnon Avron:
A semantic proof of strong cut-admissibility for first-order Gödel logic. 59-86
- Hubie Chen, Víctor Dalmau, Berit Grußien:
Arc consistency and friends. 87-108 - Frederik Van De Putte:
Prime implicates and relevant belief revision. 109-119 - Joel Gregory Lucero-Bryan:
The d-logic of the real line. 121-156 - Lauri Hella, Tero Tulenheimo:
On the existence of a modal-logical basis for monadic second-order logic. 157-180 - Luis Estrada-González:
Remarks on some general features of abduction. 181-197 - Jim Burton, Gem Stapleton, John Howse:
Generalized constraint diagrams and the classical decision problem. 199-262 - Miquel Bofill, Cristina Borralleras, Enric Rodríguez-Carbonell, Albert Rubio:
The recursive path and polynomial ordering for first-order and higher-order terms. 263-305
Volume 23, Number 2, April 2013
- Guido Boella, Pablo Noriega, Gabriella Pigozzi, Harko Verhagen:
Introduction to the special issue on NorMAS 2009. 307-308
- Natalia Criado, Estefania Argente, Vicente J. Botti:
THOMAS: An agent platform for supporting normative multi-agent systems. 309-333 - Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi:
A logic for normative multi-agent programs. 335-354 - Farnaz Derakhshan, Trevor J. M. Bench-Capon, Peter McBurney:
Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems. 355-372 - Ho-Pun Lam, Guido Governatori:
Towards a model of UAVs navigation in urban canyon through defeasible logic. 373-395 - Fabio Yoshimitsu Okuyama, Rafael H. Bordini, Antônio Carlos da Rocha Costa:
Situated normative infrastructures: the normative object approach. 397-424 - Luigi Sauro, Serena Villata:
Dependency in Cooperative Boolean Games. 425-444
Volume 23, Number 3, June 2013
- Giovanna D'Agostino, Giacomo Lenzi:
On modal μ-calculus over reflexive symmetric graphs. 445-455 - Ernest Davis:
Elementarily equivalent structures for topological languages over regions in Euclidean space. 457-471 - Massoud Pourmahdian, Nazanin Tavana:
Compactness in first-order Gödel logics. 473-485 - Dragan Doder, John Grant, Zoran Ognjanovic:
Probabilistic logics for objects located in space and time. 487-515
- Arnon Avron, Beata Konikowska, Anna Zamansky:
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. 517-540
- Beishui Liao, Huaxin Huang:
Partial semantics of argumentation: basic properties and empirical. 541-562
- Frederik Van De Putte, Christian Straßer:
A Logic for prioritized normative reasoning. 563-583 - José Carmo, Andrew J. I. Jones:
Completeness and decidability results for a logic of contrary-to-duty conditionals. 585-626
- Andreas Wichert:
Proto logic and neural subsymbolic reasoning. 627-643
- Dion Coumans, Samuel J. van Gool:
On generalizing free algebras for a functor. 645-672
- Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc:
How big is BCI fragment of BCK logic. 673-691
- Emil Jerábek:
The complexity of admissible rules of Łukasiewicz logic. 693-705 - Sándor Jenei, Franco Montagna:
Strongly involutive uninorm algebras. 707-726
Volume 23, Number 4, August 2013
- Klaus Ambos-Spies, Arnold Beckmann, Erzsébet Csuhaj-Varjú, Benedikt Löwe:
Computability in Europe 2009. 727-728
- Thomas Anberrée:
First-order universality for real programs. 729-751 - Manuel Bodirsky, Miki Hermann, Florian Richoux:
Complexity of existential positive first-order logic. 753-760 - Luca Bortolussi, Alberto Policriti:
(Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program. 761-798 - Robert Brijder, Hendrik Blockeel:
On the inference of non-confluent NLC graph grammars. 799-814 - Guénola Drillon, Alessandra Carbone, Gilles Fischer:
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs. 815-838 - Martín Hötzel Escardó:
Algorithmic solution of higher type equations. 839-854 - Benedek Nagy:
On a hierarchy of 5′ → 3′ sensing Watson-Crick finite automata languages. 855-872 - Ian Pratt-Hartmann, Ivo Düntsch:
Functions definable by numerical set-expressions. 873-895 - Thomas Zerjatke, Monika Sturm:
Solving a PSPACE-complete problem by gene assembly. 897-908 - Marius Zimand:
Generating Kolmogorov random strings from sources with limited independence. 909-924
Volume 23, Number 5, October 2013
- Sarah Alice Gaggl, Stefan Woltran:
The cf2 argumentation semantics revisited. 925-949 - Floris Bex, Sanjay Modgil, Henry Prakken, Chris Reed:
On logical specifications of the Argument Interchange Format. 951-989 - Antonis C. Kakas, Paolo Mancarella:
On the semantics of abstract argumentation. 991-1015
- Z. Liang, K. Subramani, James Worthington:
Polynomial time certifying algorithms for the planar quantified integer programming problem. 1017-1033 - Stanislav O. Speranski:
Complexity for probability logic with quantifiers over propositions. 1035-1055 - Mark Alexander Reynolds:
A tableau for general linear temporal logic. 1057-1080 - David Poole:
Foundations of model construction in feature-based semantic science. 1081-1096 - Dirk Hofmann, Manuel A. Martins:
On a coalgebraic view on Logic. 1097-1106 - Ernest Davis:
The expressive power of first-order topological languages. 1107-1141
Volume 23, Number 6, December 2013
- S. Barry Cooper, Mariya Ivanova Soskova:
The incomputable. 1143-1144 - Marat M. Arslanov:
Definable relations in Turing degree structures. 1145-1154 - Edwin J. Beggs, José Félix Costa, Diogo Poças, John V. Tucker:
Oracles that measure thresholds: the Turing machine and the broken balance. 1155-1181 - Laurent Bienvenu, Noam Greenberg, Antonín Kucera, Joseph S. Miller, André Nies, Daniel Turetsky:
Joining non-low C.E. sets with diagonally non-computable functions. 1183-1194 - Douglas Cenzer, Valentina S. Harizanov, Jeffrey B. Remmel:
Two-to-one structures. 1195-1223 - José Félix Costa:
Incomputability at the foundations of physics (A study in the philosophy of science). 1225-1248 - Ekaterina B. Fokina, Sy-David Friedman, Julia F. Knight, Russell G. Miller:
Classes of structures with universe a subset of ω1. 1249-1265 - Daniele Marsibilio, Andrea Sorbi:
Singleton enumeration reducibility and arithmetic. 1267-1292 - Mehrnoosh Sadrzadeh, Stephen Clark, Bob Coecke:
The Frobenius anatomy of word meanings I: subject and object relative pronouns. 1293-1317 - Alexandra A. Soskova, Ivan N. Soskov:
Quasi-minimal degrees for degree spectra. 1319-1334 - Ivan N. Soskov:
Effective properties of Marker's extensions. 1335-1367
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 2025-05-28 20:21 CEST 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:
