JELIA 2004 - PDF Preprint Papers

JELIA 2004 European Workshop on Logics in Artificial Intelligence

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed JELIA-2004 Paper

click to vote

JELIA
2004
Springer

182views Artificial Intelligence» more JELIA 2004»

Reasoning About Quantum Systems

13 years 3 months ago

Download wslc.math.ist.utl.pt

Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...

Paulo Mateus, Amílcar Sernadas

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	182	Reasoning About Quantum Systems	claim
2	169	tascpl: TAS Solver for Classical Propositional Logic	claim
3	162	Computing the Least Common Subsumer w.r.t. a Background Terminology	claim
4	161	The Modal Logic Programming System MProlog	claim
5	160	The CIFF Proof Procedure for Abductive Logic Programming with Constraints	claim
6	156	Combining Decision Procedures for Sorted Theories	claim
7	152	On the Relation Between ID-Logic and Answer Set Programming	claim
8	149	Hierarchical Decision Making by Autonomous Agents	claim
9	138	Games for Cognitive Agents	claim
10	133	SATMC: A SAT-Based Model Checker for Security Protocols	claim
11	133	Towards a Logical Analysis of Biochemical Pathways	claim
12	130	Practical Reasoning for Uncertain Agents	claim
13	129	Abductive Logic Programming with CIFF: System Description	claim
14	129	An Implementation of Statistical Default Logic	claim
15	119	Knowledge-Theoretic Properties of Strategic Voting	claim
16	116	Representation and Complexity in Boolean Games	claim
17	115	The DALI Logic Programming Agent-Oriented Language	claim
18	115	Modelling Communicating Agents in Timed Reasoning Logics	claim
19	114	Logic Programs with Functions and Default Values	claim
20	114	Explaining Subsumption by Optimal Interpolation	claim
21	113	Logic Programming Infrastructure for Inferences on FrameNet	claim
22	107	Time Granularities and Ultimately Periodic Automata	claim
23	105	Two Approaches to Merging Knowledge Bases	claim
24	105	A System with Template Answer Set Programs	claim
25	104	Relational Markov Games	claim
26	100	Equivalence of Logic Programs Under Updates	claim
27	98	Representing and Reasoning with Preferences	claim
28	91	Sorted Multi-adjoint Logic Programs: Termination Results and Applications	claim
29	84	Automatic Compilation of Protocol Insecurity Problems into Logic Programming	claim
30	81	Engineering of Logics for the Content-Based Representation of Information	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers