Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the Second International Workshop on Rules in Database Systems, RIDS '95, held in Athens, Greece, in September 1995. The book presents 22 revised full papers selected during a very careful reviewing process from a total of 47 submissions. In addition, there is a detailed invited introduction for a panel discussion on the Active Database Management Systems Manifesto. The papers are organized in sections on semantics for database systems, active behavior, rule base organization and modeling, rule analysis, deductive databases, implementation and benchmarking of active database systems, and cooperative systems support.

Database management --- Rule-based programming --- Congresses. --- Computer Science --- Engineering & Applied Sciences --- Congresses --- Rule-based methods (Computer science) --- Rule-based programming - Congresses. --- Data structures (Computer scienc. --- Database management. --- Logic design. --- Computer science. --- Data Structures and Information Theory. --- Database Management. --- Logics and Meanings of Programs. --- Computer Applications. --- 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 --- Electronic data processing --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Data structures (Computer science). --- Computer logic. --- Application software. --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer science logic --- Logic, Symbolic and mathematical --- Information structures (Computer science) --- Structures, Data (Computer science) --- Structures, Information (Computer science) --- File organization (Computer science) --- Abstract data types (Computer science) --- Database management - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Object-oriented databases --- 681.3*H2 --- 681.3*D1 --- 681.3*H4 --- 681.3*I24 --- Object-oriented data bases --- Databases --- Object-oriented methods (Computer science) --- Database management: security; integrity; protection--See also {?681.5*E5} --- Programming techniques--See also {681.3*E} --- Information systems applications (GIS etc.) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*H4 Information systems applications (GIS etc.) --- 681.3*D1 Programming techniques--See also {681.3*E} --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5}

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms."

681.3*D16 --- 681.3*F41 --- 681.3*I22 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts; predicate logic; relation systems; representation languages; procedural and rule-based representations; semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence) --- 681.3*I22 Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- Automatic programming: automatic analysis of algorithms; program modification; program synthesis; program transformation; program verification (Artificialintelligence)--See also {681.3*D12}; {681.3*F31} --- 681.3*F41 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} --- 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} --- Computerwetenschap--?*D16 --- Logic programming --- COMPUTER SCIENCE/Programming Languages