Programming, Logic and Intelligent Systems

Research Output 2006 2019

Filter
Article in proceedings
2011

The Experience Cylinder, an immersive interactive platform: The Sea Stallion's voyage: a case study

Andreasen, T., Gallagher, J. P., Møbius, N. & Padfield, N., Oct 2011, AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. Emonet, R. & Florea, A. M. (eds.). ThinkMind, 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

The OntoGram-Approach to Text Processing and Semantic Relation Spotting for Indexing

Andreasen, T., Bulskov, H., Lassen, T. & Jensen, P. A., 1 Jul 2011, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011) . Ding, Y. (ed.). IEEE Press, 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2010

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

Banda, G. & Gallagher, J. P., 30 Nov 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (eds.). Springer, p. 27-45 19 p. (Lecture Notes in Computer Science, Vol. 6355).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File

Logical knowledge representation of regulatory relations in biomedical pathways

Zambach, S. & Hansen, J. U., 2010, ITBAM 2010: 1st International Conference on Information Technology in Bio- and Medical Informatics. Khuri, S., Lhotská, L. & Pisanti, N. (eds.). Springer, p. 186-200 14 p. (Lecture Notes in Computer Science, Vol. 6266).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

The Viterbi Algorithm expressed in Constraint Handling Rules

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., May 2010, Proceeedings of the 7th International Workshop on Constraint Handling Rules. Van Weert, P. & De Koninck, L. (eds.). Leuven, Belgium: Katholieke Universiteit Leuven, p. 17-24 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2009

A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M., 2009, Proceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics. p. 19 26 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Applying terminological methods and description logic for creating and implementing and ontology on inhibition

Zambach, S. & Madsen, B. N., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 452-455 4 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Control-flow analysis of function calls and returns by abstract interpretation

Midtgaard, J. & Jensen, T. P., 2009, Proceeding of the 14th ACM SIGPLAN international conference on Functional Programming: ICFP 2009, Edinburgh, Scotland, UK, August 31 - September 2, 2009.. Association for Computing Machinery, p. 287-298

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On Conceptual Indexing for Data Summarization

Bulskov, H. & Andreasen, T., 2009, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference. Carvalho, J. P., Dubois, D., Kaymak, U. & Sousa, M. C. (eds.). European Society for Fuzzy Logic and Technology, p. 1618-1625 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

SIABO: Semantic Information Access through Biomedical Ontologies

Andreasen, T., Zambach, S., Lassen, T., Nilsson, J. F., Madsen, B. N., Jensen, P. A., Thomsen, H. E. & Szymczak, B. A., 2009, KEOD 2009: 1st International Conference on Knowledge Engeneering and Ontology Development. Dietz, J. L. G. (ed.). Institute for Systems and Technologies of Information, Control and Communication, p. 171-176 6 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Stochastic Definite Clause Grammars

Have, C. T., 2009, International Conference Recent Advances in Natural Language Processing. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 139-144 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Towards a Theory for Testing Non-terminating Programs

Gotlieb, A. & Petit, M., 2009, 33rd Annual IEEE International Computer Software and Applications Conference. IEEE, p. 160-165

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Un calcul de Viterbi pour un Modèle de Markov Caché Contraint

Petit, M. & Christiansen, H., 2009, Proceedings des 5ème Journée Francophone de Programmation par Contraintes.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
2008

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330. p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Biosequence Analysis in PRISM

Lassen, O. T., 2008, Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings. Garcia de la Banda, M. & Pontelli, E. (eds.). Springer, Vol. 5366. p. 809-810 (Lecture Notes in Computer Science, Vol. 5366).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Logic Grammars Extended with Constraint Logic: Abstract of invited tutorial

Christiansen, H., 2008, Proceedings of the Second International Workshop;Non-Classical Formal Languages in Linguistics, ForLing 2008. Bel-Enguix, G. & Jimenes-Lopes, M. D. (eds.). p. 3-4 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Many-valued hybrid logic

Hansen, J. U., Bolander, T. & Braüner, T., 2008, Advances in Modal Logic. Areces, C. & Goldblatt, R. (eds.). College Publications, Vol. 7. p. 111-132 22 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Ontological Summaries

Bulskov, H., Andreasen, T. & Terney, T. V., 2008, Managing Ontologies and Lexical Resources. Madsen, B. N. & Thomsen, H. E. (eds.). Litera, p. 219-230 11 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Prioritized Abduction with CHR

Christiansen, H., 2008, CHR 2008, The 5th Workshop on Constraint Handling Rules. SCHRIJVERS, T., RAISER, F. & FRÜHWIRTH, T. (eds.). Johannes Kepler University, Vol. 08-10. p. 159-173 (RISC-Linz Report Series, Vol. 08-10).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2007

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders

Christiansen, H. & Dahmcke, C. M., 2007, Proc. International Conference on Machine Learning and Data Mining MLDM'2007: Lecture Notes in Artificial Intelligence. Springer, Vol. 4571. p. 741-755 15 p. (Lecture notes in artificial intelligence; No. 4571).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Conceptual Summaries as Query Answers

Styltsvig, H. B., Andreasen, T. & Terney, T. V., 2007, North American Fuzzy Information Processing Society: NAFIPS '07. Annual Meeting of the24-27 June 2007. Electrical Engineering/Electronics, Computer, Communications and Information Technology Association, p. 458-462

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Henriksen, K. S., Banda, G. & Gallagher, J. P., 2007, WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. Hill, P. & Vanhoof, W. (eds.). University of Porto, p. 99-116 18 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, International Conference: Recent Advances in Natural Language Processing: Proceedings. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 128-132

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. & Rekouts, M., 2007, 24th British National Conference on Databases : proceedings. IEEE Computer Society Press, p. 59-67 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Christiansen, H., 2007, Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI’07). Doncescu, A., Flach, P. A., Inoue, K., Kakas, A. C. & Ray, O. (eds.). p. 42-49 8 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Reasoning about Use Cases using Logic Grammars and Constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007. Christiansen, H. & Villadsen, J. (eds.). Roskilde Universitet, p. 40-52 12 p. (Datalogiske Skrifter; No. 113).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2006

Abstract Interpretation of PIC programs through Logic Programming

Henriksen, K. S. & Gallagher, J. P., 2006, Sixth IEEE International Workshop on Source Code Analysis and Manipulation. IEEE, p. 184-193

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

An Ontology-Based Approach to Disambiguation of Semantic Relations

Lassen, T. & Terney, T. V., 2006, Proceedings of the workshop on Learning Structured Information in Natural Language Applications. Association for Computational Linguistics

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An Ontology Based View on Prepositional Senses

Lassen, T., 2006, Proceedings of the Third ACL-SIGSEM Workshop on Prepositions. Association for Computational Linguistics, p. 45-50

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Albert, E., Puebla, G. & Gallagher, J. P., 2006, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. Hill, P. M. (ed.). Springer, p. 115-132 17 p. (Lecture Notes in Computer Science, Vol. 3901).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Ontology-based Disambiguation of the Semantic Relation between the Heads of two Noun Phrases

Lassen, T. & Terney, T. V., 2006, Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference. AAAI Press, p. 791-793

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases

Christiansen, H. & Martinenghi, D., 2006, Proceedings of LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in Proc. DEXA 2006, Seventeenth Int'l Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 569-573 5 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File