Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic I. - Computing Methodologies
Topic I.2 - ARTIFICIAL INTELLIGENCE
Topic I.2.3 - Deduction and Theorem Proving

Á. Achs:
Creation and Evaluation of Fuzzy Knowledge-base
/jucs_12_9/creation_and_evaluation_of
page 1087 - 1103
Vol.12 / Issue 9
M. Algabri, H. Mathkour, H. Ramdane, M. Alsulaiman, K. Al-Mutib:
Self-learning Mobile Robot Navigation in Unknown Environment Using Evolutionary Learning
/jucs_20_10/self_learning_mobile_robot
page 1459 - 1468
Vol.20 / Issue 10
A. Armando, S. Ranise:
A Practical Extension Mechanism for Decision Procedures: the Case Study of Universal Presburger Arithmetic
/jucs_7_2/a_practical_extension_mechanism
page 124 - 140
Vol.7 / Issue 2
N. Chetcuti-Sperandio, L.F.d. Cerro:
A Decision Method for Duration Calculus
/jucs_5_11/a_decision_method_for
page 743 - 764
Vol.5 / Issue 11
Y. Baleghi Damavandi, K. Mohammadi:
Co-evolution for Communication: An EHW Approach
/jucs_13_9/coevolution_for_communication_an
page 1300 - 1308
Vol.13 / Issue 9
T.H. Duong, G.S. Jo, J.J. Jung, N.T. Nguyen:
Complexity Analysis of Ontology Integration Methodologies:a Comparative Study
/jucs_15_4/complexity_analysis_of_ontology
page 877 - 897
Vol.15 / Issue 4
P. Julián, G. Moreno, J. Penabad:
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs
/jucs_12_11/operational_interpretive_unfolding_of
page 1679 - 1699
Vol.12 / Issue 11
Ö. Kabak, F. Ülengin:
A Demand Forecasting Methodology for Fuzzy Environments
/jucs_16_1/a_demand_forecasting_methodology
page 121 - 139
Vol.16 / Issue 1
E. Moench, M. Ullrich, H.-P. Schnurr, J. Angele:
SemanticMiner - Ontology-Based Knowledge Retrieval
/jucs_9_7/semantic_miner_ontology_based
page 682 - 696
Vol.9 / Issue 7
S. Ratschan:
Uncertainty Propagation in Heterogeneous Algebras for Approximate Quantified Constraint Solving
/jucs_6_9/uncertainty_propagation_in_heterogeneous
page 861 - 880
Vol.6 / Issue 9
J. Robin, J. Vitorino, A. Wolf:
Constraint Programming Architectures: Review and a New Proposal
/jucs_13_6/constraint_programming_architectures_review
page 701 - 720
Vol.13 / Issue 6
A. Rosado-Muñoz, L. Gomez-Chova, L. Gomez-Chova, J. Vila Francés:
An IP Core and GUI for Implementing Multilayer Perceptron with a Fuzzy Activation Function on Configurable Logic Devices
/jucs_14_10/an_ip_core_and
page 1678 - 1694
Vol.14 / Issue 10
G. Stenz, W. Ahrendt, B. Beckert:
Proof Transformations from Search-Oriented into Interaction-Oriented Tableau Calculi
/jucs_5_3/proof_transformations_from_search
page 113 - 134
Vol.5 / Issue 3
A.J. Telmoudi, L. Nabli, R. M'hiri:
Modeling of Robustness Margins of the Control of a Predictive Control-Supervisory Architecture
/jucs_15_17/modeling_of_robustness_margins
page 3231 - 3245
Vol.15 / Issue 17
D. Wang:
A Method for Proving Theorems in Differential Geometry and Mechanics
/jucs_1_9/a_method_for_proving
page 658 - 673
Vol.1 / Issue 9
J.G. Wolff:
Probabilistic Reasoning as Information Compression by Multiple Alignment, Unification and Search: An Introduction and Overview
/jucs_5_7/probabilistic_reasoning_as_information
page 418 - 462
Vol.5 / Issue 7
L. Yang, Y. Xu:
Decision Making with Uncertainty Information Based on Lattice-Valued Fuzzy Concept Lattice
/jucs_16_1/decision_making_with_uncertainty
page 159 - 177
Vol.16 / Issue 1
J.A. Andrew van der Poll, P. Kotzé, W. Adrian Labuschagne:
Automated Support for Enterprise Information Systems
/jucs_10_11/automated_support_for_enterprise
page 1519 - 1539
Vol.10 / Issue 11