yusuke1997/dblp-id-title huggingface dataset:
Application of Artificial Bee Colony Algorithm in Power Communication Network Routing Optimization Simulation
A dueling DQN-based online resource allocation algorithm for cloud computing
Application of artificial intelligence in the construction of computer big data security technology platform
Neural network reliability analysis based on fault injection
MADDPG: A task offloading algorithm based on multi-agent deep reinforcement learning in vehicle-edge computing
Research on automatic pricing and replenishment forecasting of vegetable commodities based on data analysis and optimization model
Rogue Nodes Detection Using Idle Parking Resources
Single-satellite Multi-beam Antenna Interference Localization based on Two-stage Localization Optimization
Design of intelligent monitoring buoy system based on multi-parameter sensing
Construction of Online Teaching Effect Evaluation System Based on Complex Learning Behavior Data Analysis
Multimodal sentiment analysis based on multiple attention mechanisms
System design and application of Visible light Communication technology based on FPGA and Ethernet
LDA-LSTM based on variational entropy weight and multi-dimensional conditional grey association
Fairness-Aware Computation Efficiency Maximization for Multi-UAV-Enabled MEC System
The Study of a Distributed Networking Method Based on an Improved Raft Protocol
Leveraging Ensemble Learning for Accurate Medal Prediction in Olympic Competitions
Enhanced supervised image retrieval method based on image subjects
Multi-source System Log Behavior Pattern Mining Method Based on FP-Growth
Research on Customer Churn Prediction for IoT Cloud Platforms Based on the TMRF Algorithm
Enhancing IoT Security-Exploring the Application of Blockchain
Indoor Height Estimation Method for Scissor Lift Based on Sensor Information Fusion
Comparison of Complex Emotion Detection Based on the Basic Emotion Model and the Complex Emotion Model
Underwater Acoustic Communication Algorithm Based on Turbo Code
Multi-KeyPoint Depth Fusion for Monocular 3D Object Detection
Automatic testing of computerized interlocks based on recognition of the interlocking host computer interface
Digital Twining in Intelligent Farming Systems
Machine Learning for Intrusion Detection System in IoT Environment With Permutation Importance
Proceedings of SNSFAIT 2024: International Symposium on Securing Next Generation Systems Using Future Artificial Intelligence Technologies, New Delhi, India, August 8-9, 2024
Enhancing Android Malware Detection in Internet of Vehicles using Self-Attention Transformer Model 107-119
Optimized Securty Mechanism for publicly Secret Key Sharing Over Cloud using Blockchain 137-150
Intelligent Surveillance Framework for Crowd Detection and Alerting 01-15
Proceedings of the International Symposium on Securing NextGeneration Systems Using Future Artificial Intelligence Technologies, New Delhi, India, May 25, 2023
Performance Evaluation of Security Enabled Surgically Implantable Smart Pacemakers in Cardiac Risk Patients 130-136
Implementation of Property Rental Website Using Blockchain with Soulbound Tokens for Reputation and Review System
A Secure Blockchain driven Food Supply Chain Prototype for Developing Territory in Farming Zone
5G based Full-duplex Hybrid OCDMA-VLC system for secure IoT applications
Securing IoT Devices Based on Zero Trust Intrusion Detection System Using Deep Learning with Sine Cosine Algorithm 151-162
Risk Monitoring for Confidentiality of Healthcare Data
Analyzing Safety Risk Variables in Real time at Construction Sites Using YOLOv8 Architecture 73-95
Next-Generation Cyberattack Detection for Industrial IoT Using Extreme Learning Machine with Optimization Algorithm 46-59
Next-Generation Advanced Security Systems for Communities Using Integrated IoT and Blockchain Over Cloud Computing 96-106
Revolutionizing Remote Collaboration: A Comprehensive Review of Cloud-Based Real-Time Platforms to Secure Teams 120-129
Explainable Artificial Intelligence with Chicken Swarm Optimization Based Web Phishing Detection and Classification on Cyber-Physical Systems 60-72
A Biometric-Based Encryption Method for Secure Data Sharing in Cloud Environment
Automated Theorem Proving in Generation, Verification, and Certification of Safety Critical Code
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings
A Mechanizable First-Order Theory of Ordinals
LINK: A Proof Environment Based on Proof Nets
The Semantic Tableaux Version of the Second Incompleteness Theorem Extends Almost to Robinson's Arithmetic Q
Using Connection Method in Modal Logics: Some Advantages
The Modal Cube Revisited: Semantics Without Worlds
Analytic Sequent Calculi for Abelian and ukasiewicz Logics
Evaluating * SAT on TANCS 2000 Benchmarks
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules
A Tableau Method for Inconsistency-Adaptive Logics
Realization Theorems for Justification Logics: Full Modularity
Bounded Model Checking with Description Logic Reasoning
Universal Variables in Disconnection Tableaux
Applying an ALC ABox Consistency Tester to Modal Logic SAT Problems
Benchmark Analysis with FaCT
Subgoal Alternation in Model Elimination
Propositional Logics on the Computer
A Time Efficient KE Based Theorem Prover
The Role of Entropy in Guiding a Connection Prover
A Science of Reasoning (Extended Abstract)
Benchmark Evaluation of Square-KE
First-Order Tableaux in Applications (Extended Abstract)
Analytic Tableau and Integer Programming (Extended Abstract)
Microprocessor Verification Using Efficient Decision Procedures for a Logic of Equality with Uninterpreted Functions
Parallel Dialogue Games and Hypersequents for Intermediate Logics
Model Checking Against Arbitrary Public Announcement Logic: A First-Order-Logic Prover Approach for the Existential Fragment
Sequent-Like Tableau Systems with the Analytic Superformula Property for the Modal Logics KB, KDB, K5, KD5
Undecidability of Relation-Changing Modal Logics
CondLean 3.0: Improving CondLean for Stronger Conditional Logics
On the Decidability of Certain Semi-Lattice Based Modal Logics
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics
Tableau Calculus for Only Knowing and Knowing at Most
A Tableau Calculus with Automaton-Labelled Formulae for Regular Grammar Logics
Efficient Loop-Check for Backward Proof Search in Some Non-classical Propositional Logics
A Refined Tableau Calculus with Controlled Blocking for the Description Logic
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks
Proof Search on Bilateralist Judgments over Non-deterministic Semantics
Distributed Modal Theorem Proving with KE
Tableaux-Based Theorem Proving and Non-Standard Reasoning
Proof Systems for a Gödel Modal Logic
A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
A Game Model for Proofs with Costs
A Forward Unprovability Calculus for Intuitionistic Propositional Logic
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic
Analytic Tableaux for Non-deterministic Semantics
Machine-Learned Premise Selection for Lean
Proof Theory and Algebra in Substructural Logics
Tableau Calculi for Hybrid Logics
Linear Logic with Isabelle: Pruning the Proof Search Tree
A Tableau Proof System for a Mazurkiewicz Trace Logic with Fixpoints
Model Sets in a Nonconstructive Logic of Partial Terms with Definite Descriptions
Tableaux for Quantified Hybrid Logic
Logics Workbench 1.0
Tableaux with Dynamic Filtration for Layered Modal Logics
Witness Runs for Counter Machines - (Abstract)
Comparing Instance Generation Methods for Automated Reasoning
Automated Reasoning and the Verification of Security Protocols
Incremental Variable Splitting
Tableaux and Restricted Quantification for Systems Related to Weak Kleene Logic
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings
Combining Monotone and Normal Modal Logic in Nested Sequents - with Countermodels
Game Semantics for Constructive Modal Logic
Local Symmetries in Propositional Logic
A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
Some Analytic Systems of Rules
The Proof Certifier Checkers
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints
A Schemata Calculus for Propositional Logic
Optimal Tableau Systems for Propositional Neighborhood Logic over All, Dense, and Discrete Linear Orders
A Tableau System for Gödel-Dummett Logic Based on a Hypersequent Calculus
On the Intuitionistic Force of Classical Search (Extended Abstract)
Intuitionistic μ-Calculus with the Lewis Arrow
A Tableau System for Right Propositional Neighborhood Logic over Finite Linear Orders: An Implementation
Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study
Decision Procedures for the Propositional Cases of Second Order Logic and Z Modal Logic Representations
Strong Normalization for All-Style LK
A Tableau-Based Decision Procedure for a Fragment of Set Theory Involving a Restricted Form of Quantification
Invited Talk: Coherentisation of First-Order Logic
Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
A Calculus for Type Predicates and Type Coercion
Integrating a Global Induction Mechanism into a Sequent Calculus
A Cut-Free Sequent Calculus for Bi-intuitionistic Logic
A Tableau Method for Public Announcement Logics
A Formally Verified Cut-Elimination Procedure for Linear Nested Sequents for Tense Logic
Free Variable Tableaux for Propositional Modal Logics
Fair Constraint Merging Tableaux in Lazy Functional Programming Style
Prefixed Tableau Systems for Logic of Proofs and Provability
Fibred Tableaux for Multi-Implication Logic
From Input/Output Logics to Conditional Logics via Sequents - with Provers
A Tableaux Calculus for Ambiguous Quantification
Schemata of Formulæ in the Theory of Arrays
A Tableau Like Theorem Prover for Conditional Logics (Extended Abstract)
XPath and Modal Logics of Finite DAG's
On Quasitautologies
Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract)
A Schütte-Tait Style Cut-Elimination Proof for First-Order Gödel Logic
Tableaux for Logic Programming with Strong Negation
A Free Variable Sequent Calculus with Uniform Variable Splitting
Prover KT4
Behavioral Program Logic
A Proof-Theoretic View of Basic Intuitionistic Conditional Logic
Some Remarks on Completeness, Connection Graph Resolution and Link Deletion
Craig Interpolation in Displayable Logics
Tableaux for Intuitionistic Predicate Logic as Metatheory
Dynamic Epistemic Logics of Introspection
Basing Sequent Systems on Exclusive-Or
Proof Analysis by Resolution
A Simple Sequent System for First-Order Logic with Free Constructors
Constraint Tableaux for Two-Dimensional Fuzzy Logics
Toward an Efficient Tableau Metaprover (Extended Abstract)
Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic
Nested Sequents and Prefixed Tableaus
A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
A Fast Saturation Strategy for Set-Theoretic Tableaux
A Connection Method based Theorem Prover with Selective Backtracking (Extended Abstract)
Issues in Theorem Proving Based on the Connection Method
Integration of Equality Reasoning into the Disconnection Calculus
Goal-Sensitive Reasoning with Disconnection Tableaux
Cyclic System for an Algebraic Theory of Alternating Parity Automata
On Intuitionistic Diamonds (and Lack Thereof)
Ordered Resolution for Coalition Logic
Issues in Machine-Checking the Decidability of Implicational Ticket Entailment
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
Cyclic Connections
TANCS-2000 Results for DLP
Nested Sequents for Intuitionistic Modal Logics via Structural Refinement
Designing a Safe Forward Chaining Tactic Using Productive Proofs
Tableau Calculi for Preference-Based Conditional Logics
Canonical Constructive Systems
A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic
Preferential Tableaux for Contextual Defeasible ALC
lazyCoP: Lazy Paramodulation Meets Neurally Guided Search
A Modal-Layered Resolution Calculus for K
Syntactic Cut-Elimination and Backward Proof-Search for Tense Logic via Linear Nested Sequents
Hybrid and First-Order Complete Extensions of CaRet
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings
Constructive Realization in Justification Logics via Nested Sequents
Constraint Learning for Non-confluent Proof Search
Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
A Hypersequent Calculus with Clusters for Data Logic over Ordinals
Kripke Semantics for Basic Sequent Systems
Logistica 2.0: A Technology for Implementing Automatic Deduction Systems
Mīmāṃsā Deontic Logic: Proof Theory and Applications
Understanding Resolution Proofs through Herbrand's Theorem
Intuitionistic Tableau Extracted
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
The Došen Square Under Construction: A Tale of Four Modalities
Two Loop Detection Mechanisms: A Comparision
Simplification: A General Constraint Propagation Technique for Propositional and Modal Tableaux
Dynamical Method in Algebra: A Survey
Pdk: The System and Its Language
A Labelled Sequent Calculus for BBI: Proof Theory and Proof Search
A Proof-Theoretic Perspective on SMT-Solving for Intuitionistic Propositional Logic
The Tableaux Work Bench
Parity Games and Automata for Game Logic
Efficient Query Processing with Compiled Knowledge Bases
Learning Theorem Proving Components
On the Partial Respects in Which a Real Valued Arithmetic System Can Verify Its Tableaux Consistency
EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
A Conditional Constructive Logic for Access Control and Its Sequent Calculus
Implementation of Propositional Temporal Logics Using BDDs
E-SETHEO: An Automated 3 Theorem Prover
Efficient Low-Level Connection Tableaux
Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents
Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
A Gödel Modal Logic over Witnessed Crisp Models
A Tableau Calculus for Non-clausal Maximum Satisfiability
A Focus System for the Alternation-Free μ-Calculus
Fibring Semantic Tableaux
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings
Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus
MGTP: A Model Generation Theorem Prover - Its Advanced Features and Applications
Necessary and Possible Set Reconciliation and Unification in Semantic Tableau Systems (Extended Abstract)
Towards Finding Longer Proofs
Schemata of SMT-Problems
A Dynamic Logic for Learning Theory
The Non-Associative Lambek Calculus with Product in Polynomial Time
A General Tableau Method for Propositional Interval Temporal Logics
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
The Creation and Change of Social Networks: A Logical Study Based on Group Size
Complexity of Simple Dependent Bimodal Logics
An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory
A Vision for Automated Deduction Rooted in the Connection Method
Non-wellfounded Proof Theory for Interpretability Logic
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Non-Classical Logics in Satisfiability Modulo Theories
Model Checking General Linear Temporal Logic
A Tableau Calculus for Minimal Model Reasoning
The Analityc Tableaux for Linear Temporal Logic
Rigid E -Unification Simplified
Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory
Generating Schemata of Resolution Proofs
Hyper Tableau - The Next Generation
Classical Lambek Logic
Query Processing in Peer-to-Peer Systems: An Epistemic Logic Approach
Cyclic Hypersequent Calculi for Some Modal Logics with the Master Modality
MacKE: Yet Another Proof Assistant & Automated Pedagogic Tool
LoTREC: Logical Tableaux Research Engineering Companion
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings
Proof Theory for Indexed Nested Sequents
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings
Our Quest for the Holy Grail of Agent Verification
On the Dynamic Increase of Multiplicities in Matrix Proof Methods for Classical Higher-Order Logic
The Logic of Separation Logic: Models and Proofs
Presenting Constraints
A Bottom-Up Approach to Clausal Tableaux
Comparison of Theorem Provers for Modal Logics - Introduction and Summary
Tableau Methods for PA-Processes
Some New Exceptions for the Semantic Tableaux Version of the Second Incompleteness Theorem
Tableaux for Functional Dependencies and Independencies
Some Remarks on Nested Sequent Systems for Modal Logics
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992
Analytic Calculi for Logics of Indicative Conditionals
MaLeCoP Machine Learning Connection Prover
METTEL\textsc{Met\hspace{-.5pt}TeL}: A Tableau Prover with Logic-Independent Inference Engine
The Disconnection Method - A Confluent Integration of Unification in the Analytic Framework
Full First-Order Free Variable Sequents and Tableaux in Implicit Induction
Proof Confluent Tableau Calculi
A Tableau Calculus for Equilibrium Entailment
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics
Labelled Tableaux for Multi-Modal Logics
Towards a Combinatorial Proof Theory
Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method
A Tableau Calculus for Integrating First-Order and Elementary Set Theory Reasoning
Completeness for Ancestral Logic via a Computationally-Meaningful Semantics
A Tableau System for First-Order Logic with Standard Names
AC Simplifications and Closure Redundancies in the Superposition Calculus
Tableaux Methods for Access Control in Distributed Systems
Possible Worlds Tableaux without Explicit Accessibility
A Simple Tableau System for the Logic of Elsewhere
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity
Simplification and Backjumping in Modal Tableau
Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus
Computer Programming as Mathematics in a Programming Language and Proof System CL
Cut-Free Display Calculi for Nominal Tense Logics
Axiomatization and Computability of a Variant of Iteration-Free PDL with Fork
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics
Search Space Compression in Connection Tableau Calculi Using Disjunctive Constraints
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic
Dynamic Doxastic Differential Dynamic Logic for Belief-Aware Cyber-Physical Systems
The nanoCoP 2.0 Connection Provers for Classical, Intuitionistic and Modal Logics
A Cut-Free Cyclic Proof System for Kleene Algebra
Analytic Proofs for Tense Logic
A Sequent Calculus for Skeptical Default Logic
Linear Nested Sequents, 2-Sequents and Hypersequents
On Proof Complexity of Circumscription
Proof Output and Transformation for Disconnection Tableaux
Modal Tableau Systems with Blocking and Congruence Closure
A Model Elimination Calculus for Generalized Clauses
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
Dynamic Preference Logic as a Logic of Belief Change
The Modal μ -Calculus Caught Off Guard
Integrating Simplex with Tableaux
Semantically Guided Evolution of ABoxes
CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
A Sequent Calculus for Preferential Conditional Logic Based on Neighbourhood Semantics
Redundancy-Free Lemmatization in the Automated Model-Elimination Theorem Prover AI-SETHEO
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
Tableaux, Path Dissolution, and Decomposable Negation Normal Form for Knowledge Compilation
A Cut-Free, Sound and Complete Russellian Theory of Definite Descriptions
Efficient Algorithms for Bounded Rigid E-unification
Lean Induction Principles for Tableaux
A Confluent Theory Connection Calculus
Formal Versus Rigorous Mathematics: How to Get Your Papers Published
A Timing Refinement of Intuitionistic Proofs and its Application to the Timing Analysis of Combinational Circuits
Implementing and Evaluating Theorem Provers for First-Order Modal Logics
Prime Implicate Tries
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions
Question Answering: From Partitions to Prolog
A Sequent Calculus Perspective on Base-Extension Semantics
A New One-Pass Tableau Calculus for PLTL
Proving Completeness of Connection and Other First-Order Calculi with Built-In Theories (Extended Abstract)
On the Proof Theory of Regular Fixed Points
Interpolation for Converse PDL
Non-elementary Speedups between Different Versions of Tableaux
SOLAR: A Consequence Finding System for Advanced Reasoning
Minimal Model Generation with Positive Unit Hyper-Resolution Tableaux
Intuitionistic BV
From Kripke Models to Algebraic Counter-Valuations
Non Commutative Logic: A Survey
Ill-Founded Proof Systems for Intuitionistic Linear-Time Temporal Logic
Decision Procedures for Intuitionistic Propositional Logic by Program Extraction
On Sets, Types, Fixed Points, and Checkerboards
Hilbert's epsilon-Terms in Automated Theorem Proving
Automatic Abstraction of Equations in a Logic of Equality
On the Use of Automata for Deciding Linear Arithmetic
Tableaux with Four Signs as a Unified Framework
A Brief Survey of Verified Decision Procedures for Equivalence of Regular Expressions
A Symmetric Natural Deduction
The MaxSAT Problem in the Real-Valued MV-Algebra
A Workbench for Model Elimination (Abstract)
Generalized Tableau Systems for Intemediate Propositional Logics
A Tableau Method for Interval Temporal Logic with Projection
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs
Sequent Calculi for Nominal Tense Logics: A Step Towards Mechanization?
On Interpolation in Decision Procedures
Generating Finite Counter Examples with Semantic Tableaux
Dynamic Logic: A Personal Perspective
Tableaux(-like) Methods for the Satisfiability Problems of Temporal Logics
Design and Results of the Tableaux-99 Non-classical (Modal) Systems Comparison
On the Proof Complexity of Cut-Free Bounded Deep Inference
A Tableau-Like Representation Framework for Efficient Proof Reconstruction
On Solving String Equations via Powers and Parikh Images
The Mosaic Method for Temporal Logics
Disproving Inductive Entailments in Separation Logic via Base Pair Approximation
A Tableau for Multimodal Logics and Some (Un)Decidability Results
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings
First-Order Shannon Graphs (Extended Abstract)
Finding Connections via Satisfiability Solving
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings