Publication

Titel Author Year Type
Knowledge Representation in Artificial Intelligence Pletat, U. and von Luck, K. 1990 Inproceedings
Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs Pletat, Udo 1987 Inproceedings
Learning a Set of Primitive Actions with an Uninterpreted Sensorimotor Apparatus David Peirce 1991 Inproceedings
Methodology for Reconstructing Medical Problem Solving Competence Boris Petkoff and Dirk Kraus 1991 Inproceedings
Knowledge Discovery in Databases - An Overview Gregory Piatetsky-Shapiro and William Frawley and Christopher Matheus 1991 Inproceedings
Measuring Data Dependencies in Large Databases Piatetsky-Shapiro, Gregory and Matheus, Christopher J. 1993 Inproceedings
Category Translation: Learning to Understand Information on the {I}nternet Perkowitz, Mike and Etzioni, Oren 1995 Inproceedings
{P}rogrammverifikation Penner, Volker 1986 Inproceedings
{ARC II}: A System for Inducing and Simplifying Dependence and Causal Dependence Relationships Pavillon, Gérard 1996 Inproceedings
The Architecture of the Ara Platform for Mobile Agents H. Peine and T. Stolpmann 1997 Inproceedings
Rule--Structured Pacial Animation System Catherine Pelachaud and Marie--Luce Viaud and Hussein Yahia 1993 Inproceedings
Logic Programming, Functional Programming and Inductive Definitions Lawrence C. Paulson and Andrew W. Smith 1991 Inproceedings
Recognizing {2D} Image Structures by Automatically Adjusting Matching Parameters J. Pauli 1990 Inproceedings
Exploiting Uniqueness in Query Optimization G.N. Paulley and Per-Ake Larson 1994 Inproceedings
Decision--Theoretic Salience Interactions in Language Generation T. Pattabhiraman and Nick Cercone 1993 Inproceedings
A Four-Valued Semantics for Frame-Based Description Languages Patel-Schneider, P.F. 1986 Inproceedings
Logical Structure Recognition of Scientific Bibliographic References Parmentier, F. and Belaid, A. 1997 Inproceedings
An Effective Hash-Based Algorithm for Mining Association Rules J. S. Park and M.-S. Chen and P. S. Yu 1995 Inproceedings
Qualified Logic as a Means of Integrating Conceptual Formalisms Paredis, Jan 1988 Inproceedings
Improvements of Audio-Based Music Similarity and Genre Classification Elias Pampalk and Arthur Flexer and Gerhanrd Widmer 2005 Inproceedings
Density biased sampling: an improved method for data mining and clustering Christopher R. Palmer and Christos Faloutsos 2000 Inproceedings
Using Hierarchies, Aggregates, and Statisticalk Models to Discover Knowledge from Distributed Databases Ronan Pairceir and Sally McClean and Bryan Scotney 2000 Inproceedings
Generalizing atoms in constraint logic Page, Jr., C. David and Alan M. Frisch 1991 Inproceedings
Bayesian Integration of Uncertain and Conflicting Evidence Gerhard Paaß 1989 Inproceedings
Configuration as a Consistency Maintenance Task Bernd Owsnicki--Klewe 1988 Inproceedings
> Show next 25 entries (1775 ... )