arXiv 2005-02-22 EN Towards a Systematic Account of Different Semantics for Logic Programs Hitzler, Pascal
arXiv 2005-02-21 EN Graphs and colorings for answer set programming Konczak, Kathrin · Linke, Thomas · Schaub, Torsten
arXiv 2005-02-09 EN Proof obligations for specification and refinement of liveness properties under weak fairness Barradas, Hector Ruiz · Bert, Didier
arXiv 2005-02-04 EN EPspectra: A Formal Toolkit for Developing DSP Software Applications Kim, Hahnsang · Turletti, Theirry · Bouali, Amar
arXiv 2005-01-22 EN Under-approximation of the Greatest Fixpoints in Real-Time System Verification Wang, Farn
arXiv 2005-01-22 EN Under-approximation of the Greatest Fixpoint in Real-Time System Verification Wang, Farn
arXiv 2005-01-13 EN A Logic for Non-Monotone Inductive Definitions Denecker, Marc · Ternovska, Eugenia
arXiv 2005-01-04 EN Formal Languages and Algorithms for Similarity based Retrieval from Sequence Databases Sistla, A. Prasad
arXiv 2004-12-23 EN On the existence of stable models of non-stratified logic programs Costantini, Stefania
arXiv 2004-12-22 EN The Inverse Method Implements the Automata Approach for Modal Satisfiability Baader, Franz · Tobies, Stephan
arXiv 2004-12-09 EN An Efficient and Flexible Engine for Computing Fixed Points Guo, Hai-Feng · Gupta, Gopal
arXiv 2004-12-08 EN A feasible algorithm for typing in Elementary Affine Logic Baillot, Patrick · Terui, Kazushige
arXiv 2004-12-07 EN Removing Propagation Redundant Constraints in Redundant Modeling Choi, Chiu Wo · Lee, Jimmy Ho-Man · Stuckey, Peter J.
arXiv 2004-12-06 EN Finite Domain Bounds Consistency Revisited Choi, Chiu Wo · Harvey, Warwick · Lee, Jimmy Ho-Man · Stuckey, Peter J.
arXiv 2004-11-25 EN On the existence of truly autonomic computing systems and the link with quantum computing Srinivasan, Radhakrishnan · Raghunandan, H. P.
