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
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
A logic for diffusion in social networks. 48-77 - Fernando Tohmé
Abduction: A categorical characterization. 78-90
Volume 13, Number 2, Part A, June 2015
- Álvaro Herrero
Special issue SOCO12. 91-93
- Vilém Novák, Petr Hurtík
Recognition of damaged letters based on mathematical fuzzy logic analysis. 94-104 - Petrica C. Pop
An efficient Reverse Distribution System for solving sustainable supply chain network design problem. 105-113 - Mikel Larrea-Sukia
Implementation and testing of a soft computing based model predictive control on an industrial controller. 114-125 - Miroslav Bursa, Lenka Lhotská
Information retrieval from hospital information system: Increasing effectivity using swarm intelligence. 126-137 - Dragan Simic
A hybrid evolutionary model for supplier assessment and selection in inbound logistics. 138-147 - Jana Nowaková
Conventional controller design based on Takagi-Sugeno fuzzy models. 148-155 - Ivan Zelinka
Investigation on evolutionary predictive control of chemical reactor. 156-166
- José Luís Calvo-Rolle
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
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
Weighted Logics for Artificial Intelligence - 2. 395-396 - Vaishak Belle, Hector J. Levesque:
Robot location estimation in the situation calculus. 397-413 - Nico Potyka
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
Similarity-based relaxed instance queries. 480-508 - Andrea Cohen
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
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
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
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
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
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
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-01-27 20:34 CET 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: