![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Journal of Applied Logic, Volume 13
Volume 13, Number 1, March 2015
- Jan A. Bergstra, Cornelis A. Middelburg
:
Division by zero in non-involutive meadows. 1-12 - Lorenzo Magnani
:
Naturalizing logic: Errors of reasoning vindicated: Logic reapproaches cognitive science. 13-36 - José Luís Calvo-Rolle
, Héctor Quintián-Pardo
, Emilio Corchado, María del Carmen Meizoso-López, Ramón Ferreiro García:
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load. 37-47 - Zoé Christoff
, Jens Ulrik Hansen
:
A logic for diffusion in social networks. 48-77 - Fernando Tohmé
, Gianluca Caterina
, Rocco Gangle:
Abduction: A categorical characterization. 78-90
Volume 13, Number 2, Part A, June 2015
- Álvaro Herrero
, Václav Snásel, Ajith Abraham, Ivan Zelinka
, Bruno Baruque
, Héctor Quintián
, José Luís Calvo-Rolle
, Javier Sedano, André C. P. L. F. de Carvalho
, Emilio Corchado:
Special issue SOCO12. 91-93
- Vilém Novák, Petr Hurtík
, Hashim Habiballa
, Martin Stepnicka
:
Recognition of damaged letters based on mathematical fuzzy logic analysis. 94-104 - Petrica C. Pop
, Camelia-Mihaela Pintea
, Corina Pop Sitar, Mara Hajdu-Macelaru:
An efficient Reverse Distribution System for solving sustainable supply chain network design problem. 105-113 - Mikel Larrea-Sukia
, Ekaitz Larzabal, Eloy Irigoyen
, Juan José Valera García
, Martin Dendaluce:
Implementation and testing of a soft computing based model predictive control on an industrial controller. 114-125 - Miroslav Bursa, Lenka Lhotská
, Václav Chudácek, Jirí Spilka, Petr Janku, Lukás Hruban:
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence. 126-137 - Dragan Simic
, Vasa Svircevic, Svetlana Simic:
A hybrid evolutionary model for supplier assessment and selection in inbound logistics. 138-147 - Jana Nowaková
, Miroslav Pokorný, Martin Pies
:
Conventional controller design based on Takagi-Sugeno fuzzy models. 148-155 - Ivan Zelinka
, Donald David Davendra, Roman Senkerik
, Michal Pluhacek
:
Investigation on evolutionary predictive control of chemical reactor. 156-166
- José Luís Calvo-Rolle
, Héctor Quintián-Pardo
, Emilio Corchado, María del Carmen Meizoso-López, Ramón Ferreiro García:
Simplified method based on an intelligent model to obtain the extinction angle of the current for a single-phase half wave controlled rectifier with resistive and inductive load. 167
Volume 13, Number 2, Part B, June 2015
- Jan A. Bergstra, Inge Bethke, Alban Ponse
:
Equations for formally real meadows. 1-23 - Maurice A. Finocchiaro:
The fallacy of composition: Guiding concepts, historical cases, and research problems. 24-43
Volume 13, Number 3, September 2015
- Krzysztof Petelczyc
, Mariusz Zynel
:
The complement of a point subset in a projective space and a Grassmann space. 169-187 - Gillman Payette:
Reflecting rules: A note on generalizing the deduction theorem. 188-196 - Andriy Vasylchenko
:
Towards the logic of projective identification. 197-214 - Woosuk Park:
On classifying abduction. 215-238 - Audun Stolpe:
A concept approach to input/output logic. 239-258 - Jean B. Nganou, Serge F. T. Tebu:
Topological FLew-algebras. 259-269 - Antonio Di Nola, Revaz Grigolia:
Gödel spaces and perfect MV-algebras. 270-284 - Lorenzo Magnani
:
The eco-cognitive model of abduction: Ἀπαγωγή now: Naturalizing the logic of abduction. 285-315 - Eric Andre Martin:
Logic programming as classical inference. 316-369 - Yì N. Wáng, Thomas Ågotnes:
Relativized common knowledge for dynamic epistemic logic. 370-393
Volume 13, Number 4, Part 1, December 2015
- Lluís Godo
, Henri Prade, Guilin Qi:
Weighted Logics for Artificial Intelligence - 2. 395-396 - Vaishak Belle, Hector J. Levesque:
Robot location estimation in the situation calculus. 397-413 - Nico Potyka
, Christoph Beierle, Gabriele Kern-Isberner:
A concept for the evolution of relational probabilistic belief states and the computation of their changes under optimum entropy semantics. 414-440 - Laurence Cholvy:
Towards a logical belief function theory. 441-457 - Henrietta Eyre, Jonathan Lawry:
A Dempster-Shafer model of imprecise assertion strategies. 458-479 - Andreas Ecke, Rafael Peñaloza
, Anni-Yasmin Turhan:
Similarity-based relaxed instance queries. 480-508 - Andrea Cohen
, Sebastian Gottifredi, Alejandro Javier García, Guillermo Ricardo Simari:
An approach to abstract argumentation with recursive attack and support. 509-533 - Maximiliano Celmo Budán, Mauro Javier Gómez Lucero, Ignacio Darío Viglizzo
, Guillermo Ricardo Simari:
A labeled argumentation framework. 534-553
Volume 13, Number 4, Part 2, December 2015
- Christoph Beierle, Cory J. Butz, Souhila Kaci:
Uncertain reasoning at FLAIRS. 555-556 - Nicholas Mattei
, Judy Goldsmith, Andrew Klapper, Martin Mundhenk:
On the complexity of bribery and manipulation in tournaments with uncertain information. 557-581 - Ofer Arieli:
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks. 582-604 - Christian Eichhorn, Gabriele Kern-Isberner:
Using inductive reasoning for completing OCF-networks. 605-627 - Parot Ratnapinda, Marek J. Druzdzel:
Learning discrete Bayesian network parameters from continuous data streams: What is the best strategy? 628-642
Volume 13, Number 4, Part 3, December 2015
- Scarlett Liu
, Mark Albert Whitty:
Automatic grape bunch detection in vineyards with an SVM classifier. 643-653 - Yan Zhang, Zhaohui Zhu, Jinjin Zhang, Yong Zhou:
Axiomatizing Lüttgen & Vogler's ready simulation for finite processes in CLLR. 654-675 - Manfred Eppe, Mehul Bhatt
:
Approximate postdictive reasoning with answer set programming. 676-719 - Manfred Eppe, Mehul Bhatt
:
A history based approximate epistemic action theory for efficient postdictive reasoning. 720-769 - Fayçal Touazi
, Claudette Cayrol, Didier Dubois:
Possibilistic reasoning with partially ordered beliefs. 770-798 - Nissim Francez:
A proof-theoretic universal property of determiners. 799-808 - Stephen A. Selesnick, J. P. Rawling:
Computing the Lagrangians of the standard model. 809-824 - Anatolij Dvurecenskij:
Lexicographic pseudo MV-algebras. 825-841
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.