| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Anton Benz |
On a super large fixed-point of common information in multi-agent signalling games.  |
Logic Journal of the IGPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Alizadeh, Mohammad Ardeshir |
On Löb algebras, II. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi |
Special Issue: Formal Representations in Model-based Reasoning and Abduction. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Finger |
Towards automated first-order abduction: the cut-based approach. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Katarzyna Slomczynska |
Unification and projectivity in Fregean varieties. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar |
Compactness in first order Łukasiewicz logic. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenyan Xu, Sanyang Liu |
Soundness and completeness of the Cirquent calculus system CL6 for computability logic. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Lycke |
A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginia Dignum, Frank Dignum |
A logic of agent organizations. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández Duque |
Tableaux for structural abduction. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ricardo Sousa Silvestre |
On the logical formalization of theory change and scientific anomalies. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter D. Bruza, Kirsty Kitto, Laurianne Ramm, Laurianne Sitbon, D. Song, S. Blomberg |
Quantum-like non-separability of concept combinations, emergent associates and abduction. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa |
Inconsistent-tolerant base revision through Argument Theory Change. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kensuke Kojima |
Which classical correspondence is valid in intuitionistic modal logic? |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Blai Bonet, Nerio Borges |
Syntactic characterizations of completeness using duals and operators. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Milos Milosevic, Zoran Ognjanovic |
A first-order conditional probability logic. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Sayed Ahmed |
Epimorphisms are not surjective, even in simple algebras. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Van De Putte |
Hierarchic adaptive logics. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | José M. Méndez, Gemma Robles, Francisco Salto |
Ticket Entailment plus the mingle axiom has the variable-sharing property. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliana Bueno-Soler |
Models for anodic and cathodic multimodalities. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stepan Kuznetsov |
Lambek grammars with one division and one primitive type. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Anderson De Araújo, Walter Alexandre Carnielli |
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangmin Luan, Guozhong Dai, Lorenzo Magnani |
An approximate approach to belief revision. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Goris, Joost J. Joosten |
Self provers and Σ1 sentences. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fernando Soler-Toscano, David Fernández Duque, Ángel Nepomuceno-Fernández |
A modal framework for modelling abductive reasoning. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dagmar Provijn |
The generation of abductive explanations from inconsistent theories. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Yang |
(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Dzik, Piotr Wojtylak |
Projective unification in modal logic. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Verdée |
Modelling defeasible reasoning by means of adaptive logic games. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenshi Miyabe |
The difference between optimality and universality. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Josef Berger, Douglas S. Bridges, Erik Palmgren |
Double sequences, almost Cauchyness and BD-N. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Grimaldo, Miguel Lozano, Fernando Barber |
J-MADeM, a market-based model for complex decision problems. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Goris, Joost J. Joosten |
A new principle in the interpretability logic of all reasonable arithmetical theories. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Concepción Vidal, Gilberto Pérez, Felicidad Aguado, José María Molinelli |
Crossover operators for permutations equivalence between position and order-based crossover. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Béziau |
Preface of this special issue: The Challenge of Combining Logics. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Bajo, Juan Francisco de Paz, Sara Rodríguez, Angélica González |
A new clustering algorithm applying a hierarchical method neural network. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Santiago Escobar, José Iborra |
Modular termination of basic narrowing and equational unification. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Goranko, Ruaan Kellerman |
Classes and theories of trees associated with a class of linear orders. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lew Gordeev, Edward Hermann Haeusler, Luiz Carlos Pereira |
Propositional proof compressions and DNF logic. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Félix Bou, Umberto Rivieccio |
The logic of distributive bilattices. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Lima, Paulo Novais, Ricardo Costa, José Bulas-Cruz, José Neves |
Group decision making and Quality-of-Information in e-Health systems. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander J. Summers |
Soundness and principal contexts for a shallow polymorphic type system based on classical logic. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora |
A new deduction system for deciding validity in modal logic K. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ladjel Bellatreche, Yamine Aït Ameur, Chedlia Chakroun |
A design methodology of ontology based database applications. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Robles, José M. Méndez |
A Routley-Meyer semantics for relevant logics including TWR plus the disjunctive syllogism. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gábor Sági |
On nonrepresentable G-polyadic algebras with representable cylindric reducts. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilém Novák |
EQ-algebra-based fuzzy type theory and its extensions. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
The anti-Specker property, uniform sequential continuity, and a countable compactness property. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Towards metamathematics of weak arithmetics over fuzzy logic. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Norihiro Kamide |
Phase semantics for linear-time formalism. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudia Regina Milaré, Gustavo E. A. P. A. Batista, André C. P. L. F. Carvalho |
A hybrid approach to learn with imbalanced classes using evolutionary algorithms. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Majid Alizadeh, Antonio Ledda, Hector Freytes |
Completion and amalgamation of bounded distributive quasi lattices. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Buszkowski |
Interpolation and FEP for logics of residuated algebras. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Komendantskaya |
Unification neural networks: unification by error-correction learning. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lloyd Humberstone |
On a conservative extension argument of Dana Scott. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franco Montagna |
Editorial. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Montañés, José Ramón Quevedo, Irene Díaz, Raquel Cortina, Pedro Alonso, José Ranilla |
TagRanker: learning to recommend ranked tags. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Paula Gouveia, Jaime Ramos |
Hierarchical logical consequence. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Szabolcs Mikulás |
On representable ordered residuated semigroups. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Clint J. Van Alten |
Preservation theorems for MTL-chains. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges |
Omniscience, sequential compactness, and the anti-Specker property. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mircea Marin |
Foreword. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerhard Schurz |
Combinations and completeness transfer for quantified modal logics. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Galatos |
Generalized ordinal sums and translations. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Silvio Ghilardi |
Unification in modal and description logics. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira |
First-order unification using variable-free relational algebra. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Flahive, David Taniar, J. Wenny Rahayu, Bernady O. Apduhan |
Ontology expansion: appending with extracted sub-ontology. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Sayed Ahmed |
Classes of algebras without the amalgamation property. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Amin Ahmadi-Adl, Abbas Nowzari-Dalini, Hayedeh Ahrabian |
Ranking and unranking algorithms for loopless generation of t-ary trees. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Corchado, Angel Arroyo, Verónica Tricio |
Soft computing models to identify typical meteorological days. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Przewozniczek, Krzysztof Walkowiak, Michal Wozniak |
Optimizing distributed computing systems for k-nearest neighbours classifiers - evolutionary approach. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Corchado, Michal Wozniak |
Editorial: Neuro-symbolic Algorithms and Models for Bio-inspired Systems. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Buslaev, Marina V. Yashina, Igor Kotovich |
On problems of intelligent monitoring for traffic. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Troiano, Luis J. Rodríguez-Muñiz |
A statistical study of differences and similarities among aggregation functions. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Leloup |
Existentially equivalent cyclic ultrametric spaces and cyclically valued groups. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders H. Landberg, J. Wenny Rahayu, Eric Pardede |
n-Dependency: dependency diversity in anatomised microdata tables. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zalán Gyenis |
On atomicity of free algebras in certain cylindric-like varieties. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnold Koslow |
Structuralist modals and the combination of logics. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jordi Levy, Manfred Schmidt-Schauß, Mateu Villaret |
On the complexity of Bounded Second-Order Unification and Stratified Context Unification. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Marchioni, Luca Spada |
Advances in the theory of μŁΠ algebras. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ok-Ran Jeong, Won Kim, Bu-Yong Um, Joon-Gil Kwon, Sung-Hyun Park |
A word-salad filtering algorithm. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Thangaraj, Thanga Raj Chelliah, Millie Pant, Ajith Abraham, Crina Grosan |
Optimal gain tuning of PI speed controller in induction motor drives using particle swarm optimization. |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Yves Béziau, Marcelo E. Coniglio |
To distribute or not to distribute? |
Logic Journal of the IGPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Dubois |
Author's response to Wansing and Belnap's Generalized truth-values. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | W. Wieczorek |
An algorithm for the decomposition of finite languages. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Da Silva Neves, Souhila Kaci |
Combining totalitarian and Ceteris Paribus semantics in database preference queries. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Editorial: Dynamics of knowledge and belief. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daan Wierstra, Alexander Förster, Jan Peters, Jürgen Schmidhuber |
Recurrent policy gradients. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Weirich |
Does collective rationality entail efficiency? |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Herzig, Emiliano Lorini, Jomi Fred Hübner, Laurent Vercouter |
A logic of trust and reputation. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xavier Parent |
A complete axiom set for Hansson's deontic logic DSDL2. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Lawrence C. Paulson |
Multimodal and intuitionistic logics in simple type theory. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor Douven, Alexander Riegler |
Extending the Hegselmann-Krause Model I. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre |
The role of goals in belief selection. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Roeschies, Christian Igel |
Structure optimization of reservoir networks. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinrich Wansing, Nuel Belnap |
Generalized truth values.: A reply to Dubois. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Clara Smith, Antonino Rotolo |
Collective trust and normative agents. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | José Carmo |
Collective agency, direct action and dynamic operators. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Dzik, Jouni Järvinen, Michiro Kondo |
Intuitionistic propositional logic with Galois connections. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesús Zamora-Bonilla |
Science: the rules of the game. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")