Narrow your search

Library

UCLouvain (2)

ULiège (2)

KBR (1)

KU Leuven (1)

UGent (1)

ULB (1)


Resource type

book (2)


Language

English (2)


Year
From To Submit

2004 (1)

1996 (1)

Listing 1 - 2 of 2
Sort by
Logic in databases. Proceedings of the international workshop LID'96, San Miniatio, Italy 1996
Authors: ---
ISBN: 3540618147 3540706836 9783540618140 Year: 1996 Volume: 1154 Publisher: Berlin [etc.] : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as the final meeting of an EC-US cooperative activity. The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.

Keywords

Database management --- Deductive databases --- Logic programming --- Congresses. --- Congresses --- Deductive data bases --- Database management. --- Computer network architectures. --- Computer science. --- Information storage and retrieval systems. --- Artificial intelligence. --- Database Management. --- Computer System Implementation. --- Mathematical Logic and Formal Languages. --- Information Storage and Retrieval. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Automatic data storage --- Automatic information retrieval --- Automation in documentation --- Computer-based information systems --- Data processing systems --- Data storage and retrieval systems --- Discovery systems, Information --- Information discovery systems --- Information processing systems --- Information retrieval systems --- Machine data storage and retrieval --- Mechanized information storage and retrieval systems --- Computer systems --- Electronic information resources --- Data libraries --- Digital libraries --- Information organization --- Information retrieval --- Informatics --- Science --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Database management - Congresses --- Deductive databases - Congresses. --- Logic programming - Congresses

Machine Learning: ECML 2004 : 15th European Conference on Machine Learning, Pisa, Italy, September 20-24, 2004, Proceedings
Authors: --- --- --- ---
ISBN: 3540231056 3540301151 9783540231059 Year: 2004 Volume: 3201 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

The proceedings of ECML/PKDD 2004 are published in two separate, albeit - tertwined,volumes:theProceedingsofthe 15thEuropeanConferenceonMac- ne Learning (LNAI 3201) and the Proceedings of the 8th European Conferences on Principles and Practice of Knowledge Discovery in Databases (LNAI 3202). The two conferences were co-located in Pisa, Tuscany, Italy during September 20–24, 2004. It was the fourth time in a row that ECML and PKDD were co-located. - ter the successful co-locations in Freiburg (2001), Helsinki (2002), and Cavtat- Dubrovnik (2003), it became clear that researchersstrongly supported the or- nization of a major scienti?c event about machine learning and data mining in Europe. We are happy to provide some statistics about the conferences. 581 di?erent papers were submitted to ECML/PKDD (about a 75% increase over 2003); 280 weresubmittedtoECML2004only,194weresubmittedtoPKDD2004only,and 107weresubmitted to both.Aroundhalfofthe authorsforsubmitted papersare from outside Europe, which is a clear indicator of the increasing attractiveness of ECML/PKDD. The Program Committee members were deeply involved in what turned out to be a highly competitive selection process. We assigned each paper to 3 - viewers, deciding on the appropriate PC for papers submitted to both ECML and PKDD. As a result, ECML PC members reviewed 312 papers and PKDD PC members reviewed 269 papers. We accepted for publication regular papers (45 for ECML 2004 and 39 for PKDD 2004) and short papers that were as- ciated with poster presentations (6 for ECML 2004 and 9 for PKDD 2004). The globalacceptance ratewas14.5%for regular papers(17% if we include the short papers).

Keywords

681.3*I2 <063> --- 681.3*F22 <063> --- 681.3*F41 <063> --- 681.3*H28 <063> --- 681.3*I2 <063> Artificial intelligence. AI--Congressen --- Artificial intelligence. AI--Congressen --- Nonnumerical algorithms and problems: complexity of proof procedures computations on discrete structures geometrical problems and computations pattern matching --See also {?681.3*E2-5} {681.3*G2} {?681.3*H2-3}--Congressen --- Mathematical logic: computability theory computational logic lambda calculus logic programming mechanical theorem proving model theory proof theoryrecursive function theory--See also {681.3*F11} {681.3*I22} {681.3*I23}--Congressen --- Database applications--Congressen --- Machine learning --- Computer science. --- Algorithms. --- Mathematical logic. --- Database management. --- Artificial intelligence. --- Computer Science. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Mathematical Logic and Formal Languages. --- Database Management. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Algorism --- Algebra --- Arithmetic --- Informatics --- Science --- Foundations --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Computer systems --- Machine learning - Congresses

Listing 1 - 2 of 2
Sort by