Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 20
Volume 20, Number 1, February 2012
- Evan Goris, Joost J. Joosten:
Self provers and Σ1 sentences. 1-21 - Tarek Sayed Ahmed:
Epimorphisms are not surjective, even in simple algebras. 22-26 - Majid Alizadeh
, Mohammad Ardeshir:
On Löb algebras, II. 27-44 - Frederik Van De Putte:
Hierarchic adaptive logics. 45-72 - Katarzyna Slomczynska:
Unification and projectivity in Fregean varieties. 73-93 - Anton Benz:
On a super large fixed-point of common information in multi-agent signalling games. 94-120 - Wojciech Dzik, Piotr Wojtylak:
Projective unification in modal logic. 121-153 - Martín O. Moguillansky, Renata Wassermann, Marcelo A. Falappa:
Inconsistent-tolerant base revision through Argument Theory Change. 154-186 - Eunsuk Yang:
(Star-Based) three-valued Kripke-style semantics for pseudo- and weak-Boolean logics. 187-206 - Stepan L. Kuznetsov:
Lambek grammars with one division and one primitive type. 207-221 - Kenshi Miyabe:
The difference between optimality and universality. 222-234 - Milos Milosevic, Zoran Ognjanovic:
A first-order conditional probability logic. 235-253 - Nazanin Tavana, Massoud Pourmahdian, Farzad Didehvar:
Compactness in first order Łukasiewicz logic. 254-265 - Blai Bonet, Nerio Borges:
Syntactic characterizations of completeness using duals and operators. 266-282 - Virginia Dignum, Frank Dignum:
A logic of agent organizations. 283-316 - Wenyan Xu, Sanyang Liu:
Soundness and completeness of the Cirquent calculus system CL6 for computability logic. 317-330 - Kensuke Kojima:
Which classical correspondence is valid in intuitionistic modal logic? 331-348 - Josef Berger, Douglas S. Bridges, Erik Palmgren:
Double sequences, almost Cauchyness and BD-N. 349-354 - José M. Méndez, Gemma Robles, Francisco Salto:
Ticket Entailment plus the mingle axiom has the variable-sharing property. 355-364
Volume 20, Number 2, April 2012
- Lorenzo Magnani, Walter Alexandre Carnielli, Claudio Pizzi:
Special Issue: Formal Representations in Model-based Reasoning and Abduction. 367-369
- Marcelo Finger:
Towards automated first-order abduction: the cut-based approach. 370-387 - Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque:
Tableaux for structural abduction. 388-399 - Dagmar Provijn:
The generation of abductive explanations from inconsistent theories. 400-416 - Peter Verdée:
Modelling defeasible reasoning by means of adaptive logic games. 417-437 - Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández:
A modal framework for modelling abductive reasoning. 438-444 - Peter D. Bruza, Kirsty Kitto, Brentyn J. Ramm, Laurianne Sitbon, Dawei Song, Simon P. Blomberg:
Quantum-like non-separability of concept combinations, emergent associates and abduction. 445-457 - Juliana Bueno-Soler:
Models for anodic and cathodic multimodalities. 458-476 - Anderson de Araújo, Walter Alexandre Carnielli:
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. 477-485 - Shangmin Luan, Guozhong Dai, Lorenzo Magnani:
An approximate approach to belief revision. 486-496 - Hans Lycke:
A formal explication of the search for explanations: the adaptive logics approach to abductive reasoning. 497-516 - Ricardo Sousa Silvestre:
On the logical formalization of theory change and scientific anomalies. 517-532
Volume 20, Number 3, June 2012
- Manuel Graña, Emilio Corchado, Michal Wozniak:
Special issue: HAIS 2010. 533-535
- Dragan Simic, Ilija Kovacevic, Svetlana Simic:
Insolvency prediction for assessing corporate financial health. 536-549 - Bartosz Kurlej, Michal Wozniak:
Active learning approach to concept drift problem. 550-559 - Camelia-Mihaela Pintea, Gloria Cerasela Crisan, Camelia Chira:
Hybrid ant models with a transition policy for solving a complex problem. 560-569 - 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. 570-578 - Xingxing He, Jun Liu, Yang Xu, Luis Martínez-López, Da Ruan:
On α-satisfiability and its α-lock resolution in a finite lattice-valued propositional logic. 579-588 - 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. 589-597 - José Luís Calvo-Rolle, Emilio Corchado:
A bio-inspired robust controller for a refinery plant process. 598-616 - Josune Gallego, Carmen Hernández, Manuel Graña:
A morphological cellular automata based on morphological independence. 617-624 - Blanca Cases, Israel Rebollo Ruiz, Manuel Graña:
A hybrid spatial - social - logical model explaining human behaviour in emergency situations. 625-633 - Milos Kudelka, Zdenek Horak, Václav Snásel, Pavel Krömer, Jan Platos, Ajith Abraham:
Social and swarm aspects of co-authorship network. 634-643
Volume 20, Number 4, August 2012
- Emilio Corchado, Paulo Novais:
Special issue: SOCO 2010-CMMSE 2010. 645-647
- Ilaria Bertini, Matteo De Felice, Alessandro Pannicelli, Stefano Pizzuti:
Optimizing the start-up operations of combined cycle power plants using soft computing methods. 648-656 - Irene Díaz, Luis J. Rodríguez-Muñiz, Luigi Troiano:
Fuzzy sets in data protection: strategies and cardinalities. 657-666 - Ryszard Janicki, Yun Zhai:
On a pairwise comparison-based consistent non-numerical ranking. 667-676 - Tomasz Kacprzak, Krzysztof Walkowiak, Michal Wozniak:
Optimization of overlay distributed computing systems for multiple classifier system - heuristic approach. 677-688 - Ângelo Costa, Paulo Novais, Juan M. Corchado, José Neves:
Increased performance and better patient attendance in an hospital with the use of smart agendas. 689-698 - Angel Arroyo, Emilio Corchado, Verónica Tricio:
Soft computing models to analyze atmospheric pollution issues. 699-711 - 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. 712-721 - David L. González-Álvarez, Álvaro 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. 722-731 - Radha Thangaraj, Millie Pant, Pascal Bouvry, Ajith Abraham:
Solving stochastic programming problems using modified differential evolution algorithms. 732-746 - Joanna Golinska-Pilarek, Emilio Muñoz-Velasco, Angel Mora-Bonilla:
Relational dual tableau decision procedure for modal logic K. 747-756 - 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. 757-769
Volume 20, Number 5, October 2012
- Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Relational approaches to knowledge representation and learning. 771-773
- Haythem O. Ismail:
LogAB: A first-order, non-paradoxical, algebraic logic of belief. 774-795 - Jens Fisseler:
First-order probabilistic conditional logic and maximum entropy. 796-830 - Marc Finthammer, Matthias Thimm:
An integrated development environment for probabilistic relational reasoning. 831-871 - Matthias Thimm, Gabriele Kern-Isberner:
On probabilistic inference in relational conditional logics. 872-908 - Daniel Beck, Gerhard Lakemeyer:
Reinforcement learning for Golog programs with first-order state-abstraction. 909-942 - Patrick Krümpelmann:
Dependency semantics for sequences of extended logic programs. 943-966
Volume 20, Number 6, December 2012
- Murdoch James Gabbay:
Meta-variables as infinite lists in nominal terms unification and rewriting. 967-1000 - Tarek Sayed Ahmed:
Three interpolation theorems for typeless logics. 1001-1037 - Luisa Iturrioz:
Two old representation theorems and Information Systems. 1038-1045 - Claus-Peter Wirth:
Computer-assisted human-oriented inductive theorem proving by descente infinie - a manifesto. 1046-1063 - Gábor Sági, Dorottya Sziráki:
Some variants of Vaught's conjecture from the perspective of algebraic logic. 1064-1082 - Steffen Lewitzka:
Construction of a canonical model for a first-order non-Fregean logic with a connective for reference and a total truth predicate. 1083-1109 - Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen:
Generalized Kripke semantics for the Lambek-Grishin calculus. 1110-1132 - Hernán de la Vega:
Normal and complete Boolean ambiguity algebras and MV-pairs. 1133-1152 - Yu. M. Movsisyan, V. A. Aslanyan:
Hyperidentities of De Morgan algebras. 1153-1174 - David Henriques, Manuel Biscaia, Pedro Baltazar, Paulo Mateus:
Decidability and complexity for ω-regular properties of stochastic systems. 1175-1201 - Mohammad Ardeshir, Vahid Vaezian:
A unification of the basic logics of Sambin and Visser. 1202-1213 - M. Zayed, A. Y. Abdelwanis:
An application of a theorem of Rothmaler. 1214-1219
a service of 
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-04-25 05:28 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:
