Search: English, 1997

Results 1 - 25 of 32

Results

Authors Year Title Type Fulltext
Wolter, Frank 1997 All finitely axiomatizable subframe logics containing the provability logic CSM are decidable Paper pdf
Wolter, Frank
Zakharyaschev, Michael...
1997 On the relation between intuitionistic and classical modal logics Paper pdf
Wolter, Frank 1997 Fusions of Modal Logics revisited Paper pdf
Wagner, Gerd 1997 Artificial Agents and Logic Programming Paper pdf
Wagner, Gerd 1997 A Logical Reconstruction of Fuzzy Inference in Databases and Logic Programs Paper pdf
Wagner, Gerd 1997 Multi-Level Security in Multiagent Systems Paper pdf
Wagner, Gerd 1997 Conceptual Foundations of Artificial Agents Habil pdf
Suzuki, Yasuhito
Wolter, Frank
...
1997 Speaking about transitive frames in propositional languages Paper pdf
Sosna, Dieter 1997 Document Version Management Using an Adapted Segment Tree Report pdf
Rahm, Erhard 1997 Goal-oriented performance control for transaction processing Paper
Müller, Robert 1997 The CliniCon Framework for Context Representation in Electronic Patient Records Paper pdf
Müller, Robert
Sergl, M.
...
1997 TheMPO: A Knowledge-Based System for Therapy Planning in Pediatric Oncology Paper pdf
Jantke, Klaus P.
Dötsch, Volker
1997 Extended Experimental Explorations of the Necessity of User Guidance in Case-Based Learning Report
Jantke, Klaus P.
Dötsch, Volker
1997 The Necessity of User Guidance in Case-Based Knowledge Acquisition. Paper
Jain, Sanjay
Kinber, Efim
...
1997 Learning languages and functions by erasing Report
Jain, Sanjay
Lange, Steffen
...
1997 On the learnability of recursively enumerable languages from good examples Report
Jain, Sanjay
Lange, Steffen
...
1997 On the learnability of R.E. languages from good examples Paper
Jantke, Klaus P.
Dötsch, Volker
1997 Theoretical Investigations and Experimental Explorations of the Necessity of User Guidance in Case-Based Knowledge Acquisition Report
Hering, Klaus
Haupt, Reiner
...
1997 Parameterized Partition Valuation for Parallel Logic Simulation Paper pdf
Haupt, Reiner
Hering, Klaus
...
1997 Hierarchical Model Partitioning for Parallel VLSI-Simulation Using Evolutionary Algorithms Paper pdf
Gräbe, Hans-Gert 1997 Minimal Primary Decomposition and Factorized Groebner Bases Paper pdf
Globig, Christoph
Jantke, Klaus P....
1997 On case-based learnability of languages Paper pdf
Duc, Ho Ngoc 1997 On the Epistemic Foundations of Agent Theories Paper pdf
Duc, Ho Ngoc 1997 Reasoning about Rational, but not Logically Omniscient Agents Paper pdf
Duc, Ho Ngoc 1997 A Recursively Axiomatizable Subsystem of Levesque's Logic of Only Knowing. Report pdf
Der, Ralf
Steinmetz, Ulrich
1997 Wavelet analysis of EEG signals as a tool for the investigation of the time architecture of cognitive processes Report pdf
Case, John
Jain, Sanjay
...
1997 Incremental concept learning for bounded data mining Report pdf
Böhm, Karsten
Böhme, Timo
...
1997 SQUIRREL: DBS-based Information Retrieval System For The WWW With Context Graphs Paper pdf
Balzuweit, Gerd
Der, Ralf
...
1997 An Algorithm for Generalized Principal Curves with Adaptive Topology in Complex Data Sets Report pdf
Apel, Joachim
Stückrad, Jürgen
...
1997 Term Bases for Multivariate Interpolation of Hermite Type. Report pdf
Apel, Joachim 1997 The Theory of Involutive Divisions and an Application to Hilbert Function Computations. Paper pdf
Apel, Joachim 1997 Effective Gröbner Structures Report pdf