| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Leszek Jaworski |
From the research on logics without tautologies (part 1).  |
Logic Journal of the IGPL  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Douglas S. Bridges, Luminita Simona Vîta |
A first constructive look at the comparison of projections. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Luiz Mariano, Francisco Miraglia |
The Boolean and profinite hulls of reduced special groups. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
Some remarks on Cantor-Łukasiewicz fuzzy set theory. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Loeb |
Lipschitz functions in constructive reverse mathematics. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Jaworski |
From the research on logics without tautologies (part 2). |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Leszek Jaworski |
From the research on logics without tautologies (part 3). |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Verdée |
Strong, universal and provably non-trivial set theory by means of adaptive logic. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Van De Putte, Christian Straßer |
Three formats of prioritized adaptive logics: a comparative study. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Crosilla, Erik Palmgren, Peter Schuster |
A generalized cut characterization of the fullness axiom in CZF. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek |
On equality and natural numbers in Cantor-Łukasiewicz set theory. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Mortensen |
Identity taken seriously: a non-classical approach. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Shasha Huang, Qingguo Li, Pascal Hitzler |
Reasoning with inconsistencies in hybrid MKNF knowledge bases. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Rybakov |
Writing out unifiers for formulas with coefficients in intuitionistic logic. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Wojciech Dzik, Jouni Järvinen, Michiro Kondo |
Intuitionistic modal logic with a galois connection has the finite model property1. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Graham Priest |
Mathematical pluralism. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir V. Rybakov |
Unifiers in transitive modal logics for formulas with coefficients (meta-variables). |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Duzí, Bjørn Jespersen |
Procedural isomorphism, analytic information and β-conversion by value. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Petr Hájek, Zuzana Haniková |
Interpreting lattice-valued set theory in fuzzy set theory. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Libor Behounek, Greg Restall, Giovanni Sambin |
Editorial: Special issue on non-classical mathematics. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ciraulo, Maria Emilia Maietti, Paola Toto |
Constructive version of Boolean algebra. |
Logic Journal of the IGPL |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilaria Bertini, Matteo De Felice, Alessandro Pannicelli, Stefano Pizzuti |
Optimizing the start-up operations of combined cycle power plants using soft computing methods. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarek Sayed Ahmed |
Three interpolation theorems for typeless logics. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | D. Henriques, M. Biscaia, Pedro Baltazar, Paulo Mateus |
Decidability and complexity for ω-regular properties of stochastic systems. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zorana Bankovic, José Manuel Moya, Elena Romero, Javier Blesa, David Fraga, Juan Carlos Vallejo, Álvaro Araujo, Pedro Malagón, Juan-Mariano de Goyeneche, Daniel Villanueva, Octavio Nieto-Taladriz |
Using clustering techniques for intelligent camera-based user interfaces. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 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 | Blanca Cases, Israel Rebollo, Manuel Graña |
A hybrid spatial - social - logical model explaining human behaviour in emergency situations. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Simic, Ilija Kovacevic, Svetlana Simic |
Insolvency prediction for assessing corporate financial health. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu. M. Movsisyan, V. A. Aslanyan |
Hyperidentities of De Morgan algebras. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carolina Zato, Ana de Luis, Javier Bajo, Juan Francisco de Paz, Juan M. Corchado |
Dynamic model of distribution and organization of activities in multi-agent systems. |
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 | Manuel Graña, Emilio Corchado, Michal Wozniak |
Special issue: HAIS 2010. |
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 | Xingxing He, Jun Liu, Yang Xu, Luis Martínez, Da Ruan |
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. |
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 | Angel Arroyo, Emilio Corchado, Verónica Tricio |
Soft computing models to analyze atmospheric pollution issues. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Finthammer, Matthias Thimm |
An integrated development environment for probabilistic relational reasoning. |
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 | David L. González-Álvarez, Alvaro Rubio-Largo, Miguel A. Vega-Rodríguez, Sónia M. Almeida-Luz, Juan Antonio Gómez Pulido, Juan Manuel Sánchez-Pérez |
Solving the reporting cells problem by using a parallel team of evolutionary algorithms. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Claus-Peter Wirth |
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Irene Díaz, Luis J. Rodríguez-Muñiz, Luigi Troiano |
Fuzzy sets in data protection: strategies and cardinalities. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Sedano, José Ramón Villar, Leticia Curiel, Emilio Corchado, Enrique A. de la Cal |
Learning and training techniques in fuzzy control for energy efficiency in buildings. |
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 | Milos Kudelka, Zdenek Horak, Václav Snásel, Pavel Krömer, Jan Platos, Ajith Abraham |
Social and swarm aspects of co-authorship network. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gabriele Kern-Isberner |
Editorial: Relational approaches to knowledge representation and learning. |
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 | Gábor Sági, Dorottya Sziráki |
Some variants of Vaught's conjecture from the perspective of algebraic logic. |
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 | Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen |
Generalized Kripke semantics for the Lambek-Grishin calculus. |
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 | Luisa Iturrioz |
Two old representation theorems and Information Systems. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomasz Kacprzak, Krzysztof Walkowiak, Michal Wozniak |
Optimization of overlay distributed computing systems for multiple classifier system - heuristic approach. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ângelo Costa, Paulo Novais, Juan M. Corchado, José Neves |
Increased performance and better patient attendance in an hospital with the use of smart agendas. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryszard Janicki, Yun Zhai |
On a pairwise comparison-based consistent non-numerical ranking. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Francisco de Paz, Martí Navarro, Cristian Pinzón, Vicente Julián, Dante I. Tapia, Javier Bajo |
Mathematical model for a temporal-bounded classifier in security environments. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Krümpelmann |
Dependency semantics for sequences of extended logic programs. |
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 | Haythem O. Ismail |
LogAB: A first-order, non-paradoxical, algebraic logic of belief. |
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 | Jens Fisseler |
First-order probabilistic conditional logic and maximum entropy. |
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 | Mohammad Ardeshir, Vahid Vaezian |
A unification of the basic logics of Sambin and Visser. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Kurlej, Michal Wozniak |
Active learning approach to concept drift problem. |
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 | M. Zayed, A. Y. Abdelwanis |
An application of a theorem of Rothmaler. |
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 | Daniel Beck, Gerhard Lakemeyer |
Reinforcement learning for Golog programs with first-order state-abstraction. |
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 | Josune Gallego, Carmen Hernández 0001, Manuel Graña |
A morphological cellular automata based on morphological independence. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Emilio Corchado, Paulo Novais |
Special issue: SOCO 2010-CMMSE 2010. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Radha Thangaraj, Millie Pant, Pascal Bouvry, Ajith Abraham |
Solving stochastic programming problems using modified differential evolution algorithms. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora Bonilla |
Relational dual tableau decision procedure for modal logic K. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Steffen Lewitzka |
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Murdoch James Gabbay |
Meta-variables as infinite lists in nominal terms unification and rewriting. |
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 | Matthias Thimm, Gabriele Kern-Isberner |
On probabilistic inference in relational conditional logics. |
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 | José Luís Calvo-Rolle, Emilio Corchado |
A bio-inspired robust controller for a refinery plant process. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Camelia-Mihaela Pintea, Gloria Cerasela Crisan, Camelia Chira |
Hybrid ant models with a transition policy for solving a complex problem. |
Logic Journal of the IGPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hernán de la Vega |
Normal and complete Boolean ambiguity algebras and MV-pairs. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")