Á. Achs:
Creation and Evaluation of Fuzzy Knowledge-base
/jucs_12_9/creation_and_evaluation_of

page 1087 - 1103
Vol.12 / Issue 9

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

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

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

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

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