FUIN 2007 - PDF Preprint Papers

FUIN 2007

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FUIN-2007 Paper

click to vote

FUIN
2007

236views more FUIN 2007»

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

13 years 11 months ago

Download people.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

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	236	Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic	claim
2	220	Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming	claim
3	147	Privacy Preserving Database Generation for Database Application Testing	claim
4	138	Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking	claim
5	135	On First-Order Fragments for Mazurkiewicz Traces	claim
6	134	Complexity Issues in Multiagent Logics	claim
7	133	Intercode Regular Languages	claim
8	130	A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution	claim
9	129	Sound Isolation by Harmonic Peak Partition For Music Instrument Recognition	claim
10	123	Analysis of Approximate Petri Nets by Means of Occurrence Graphs	claim
11	122	Behaviour Algebras	claim
12	121	A Possibility-Theoretic View of Formal Concept Analysis	claim
13	120	Concurrent Turing Machines	claim
14	116	Path Compression in Timed Automata	claim
15	116	Decidability Problems of a Basic Class of Object Nets	claim
16	114	Cellular Devices and Unary Languages	claim
17	110	Controllable Delay-Insensitive Processes	claim
18	109	Unifying Framework for Rule Semantics: Application to Gene Expression Data	claim
19	109	Computing Properties of Numerical Imperative Programs by Symbolic Computation	claim
20	108	An Axiomatization of the Token Game Based on Petri Algebras	claim
21	108	Local Properties of Triangular Graphs	claim
22	104	SAT-Based Reachability Checking for Timed Automata with Discrete Data	claim
23	104	Modelling and Checking Timed Authentication of Security Protocols	claim
24	100	Interpreted Nets	claim
25	100	An Algebraic Characterization of the Halting Probability	claim
26	99	Tutorial Examples of the Semantic Approach to Foundational Proof-Carrying Code	claim
27	99	Verifying Security Protocols Modelled by Networks of Automata	claim
28	95	Compositional Systems over Reducible Networks	claim
29	94	Algorithm of Translation of MSC-specified System into Petri Net	claim
30	93	Davis-Putnam Style Rules for Deciding Property S	claim
31	93	Finitary Compositions of Two-way Finite-State Transductions	claim
32	92	Foundations of Modal Deductive Databases	claim
33	91	Verification of the TESLA protocol in MCMAS-X	claim
34	91	On Communicating Automata with Bounded Channels	claim
35	91	Towards a Framework for Modelling Behaviours of Hybrid Systems	claim
36	90	A Resolution Calculus with Shared Literals	claim
37	90	Static BiLog: a Unifying Language for Spatial Structures	claim
38	89	The Decent Philosophers: An Exercise in Concurrent Behaviour	claim
39	89	Maurer Computers with Single-Thread Control	claim
40	86	Relative Nondeterministic Information Logic is EXPTIME-complete	claim
41	86	Advances in Symmetric Sandpiles	claim
42	85	Entropies and Co-Entropies of Coverings with Application to Incomplete Information Systems	claim
43	84	Observation Based System Security	claim
44	84	Abstract Barycentric Algebras	claim
45	79	An Interpretation of Robinson Arithmetic in its Grzegorczyk's Weaker Variant	claim
46	75	Monocultures and Homogeneous Environment in Eco-Grammar Systems	claim
47	74	A Note on the Emptiness of Semigroup Intersections	claim
48	70	Active Symbols in Pure Systems	claim
49	67	Modelling Grammar Systems by Tissue P Systems Working in the Sequential Mode	claim
50	65	Modal Logics for Region-based Theories of Space	claim
51	60	On String Languages Generated by Spiking Neural P Systems	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers