Deciding Full Branching Time Logic by Program Transformation
Deciding Full Branching Time Logic by Program Transformation
Alberto Pettorossi (Univ. Tor Vergata, Rome, Italy), Maurizio Proietti (IASI-CNR, ... more>>
Tags: partial evaluation,
temporal logic,
model checking,
branching time,
logic programs,
logic programming,
program specialization,
ltl model,
mathematical logic,
linear logic,
x y,
j. van,
chu spaces,
xsb system,
stanford university
Views: 0
Language: English
Views: 0
Language: English
Views: 7
Language: ENGLISH
Views: 2
Language: UNKNOWN
Views: 15
Language: English
Database Consistency Logic-Based Approaches
Database Consistency: Logic-Based Approaches
Jan Chomicki University at Buffalo
June 2008
Jan Chomicki ()
Database Consistency
June 2008
... more>>
Tags: logic programming,
description logic,
database systems,
knowledge base,
semantic web,
integrity constraints,
inference engine,
description logics,
how to,
background knowledge,
owl classes,
access control,
database consistency,
the user,
deductive databases
Views: 0
Language: English
Views: 2
Language: English
W K Kellogg Foundation Logic Model Development Guide Using Logic
Tags: W K Kellogg Foundation Logic Model Devel...,
W. K. Kellogg,
W. K. Kellogg Foundation,
Battle Creek,
Will Keith Kellogg,
Battle Creek,
Michigan,
Kellogg Foundation,
Kellogg Company,
Kellogg Biological Station,
Corn Flakes
Views: 57
Language: English
Views: 138
Language: English
The Logic of Collective Belief
The Logic of Collective Belief:
The Political Economy of Voter Irrationality by
Bryan Caplan
Department of Economics, Center for Study of Public ... more>>
Categories:
Views: 1
Language: English
Views: 31
Language: ENGLISH
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC
DATABASE SYSTEM BASED ON INTENSIONAL LOGIC Naoki Yonezaki, Hajime Enomoto
DEPARTMENT OF COMPUTER SCIENCE TOKYO INSTITUTE OF TECHNOLOGY 2-12-1, OOKA ... more>>
Tags: intensional logic,
logic programming,
deductive databases,
database systems,
international conference,
acm transactions on database systems,
the user,
natural language,
integrity constraints,
database system,
semantic web,
jack minker,
department of computer science,
query language,
deductive database
Views: 0
Language: English
Views: 41
Language: English
Views: 72
Language: English
Linear Genetic Programming GPGPU
Linear Genetic Programming GPGPU on Microsoft’s Xbox 360
Garnett Wilson, Member, IEEE, and Wolfgang Banzhaf
used to perform parallel genetic operati ... more>>
Categories:
Views: 1
Language: 0