Slim Abdennadher

Orcid: 0000-0003-1817-1855

According to our database1, Slim Abdennadher authored at least 188 papers between 1995 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
AutoNav in C-L-U-E: A Baseline Autonomous Software Stack for Autonomous Navigation in Closed Low-Speed Unstructured Environments.
Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023
The Gamification of Psychological Tests for the Detection of Cognitive Dysfunction in Young Adults.
Proceedings of the 11th IEEE International Conference on Serious Games and Applications for Health, 2023

A Gamification of Psychological Tests for the Detection of Impaired Social Functioning.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

Character-Based Habit Recommender System.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

Multi-modal Explainable Music Recommendation Based on the Relations Between Character and Music Listening Behavior.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection, 2023

The effect of culture in educational games for school students.
Proceedings of the 20th International Conference on Culture and Computer Science: Code and Materiality, 2023

"\"Hello I am here\": Proximal Nonverbal Cues Role in Initiating Social Interactions in VR".
Proceedings of the 2023 International Symposium on Wearable Computers, 2023

Embodied PointCloud: Combining Embodied Avatars with Point Clouds to Represent Users in VR Remote Meetings.
Proceedings of the Human-Computer Interaction - INTERACT 2023 - 19th IFIP TC13 International Conference, York, UK, August 28, 2023

Distance Impact on Collaboration Quality in Smart Glasses Applications.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Policy-based Role and Access Modeling.
Proceedings of the 12th IEEE International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2023

Exploring Segmentation Approaches for Neural Machine Translation of Code-Switched Egyptian Arabic-English Text.
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023

Fact-in-a-Box: Hiding Educational Facts in Short Stories for Implicit Learning.
Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022
The Who in Code-Switching: A Case Study for Predicting Egyptian Arabic-English Code-Switching Levels Based on Character Profiles.
Int. J. Asian Lang. Process., March, 2022

QuarantivityVR: Supporting Self-Embodiment for Non-HMD Users in Asymmetric Social VR Games.
i-com, 2022

Investigations on speech recognition systems for low-resource dialectal Arabic-English code-switching speech.
Comput. Speech Lang., 2022

Investigating Lexical Replacements for Arabic-English Code-Switched Data Augmentation.
CoRR, 2022

ArzEn-ST: A Three-way Speech Translation Corpus for Code-Switched Egyptian Arabic-English.
Proceedings of the The Seventh Arabic Natural Language Processing Workshop, 2022

Augmented Radar Points Connectivity based on Image Processing Techniques for Object Detection and Classification.
Proceedings of the 17th International Joint Conference on Computer Vision, 2022

Vaxera: An Empathetic Chatbot for COVID-19 Vaccination.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

FAN-VE: A Tool for Facial Animation Generation in Virtual Reality Education.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Complex Systems Simulation. The PAAMS Collection, 2022

The Superhero Pose: Enhancing Physical Performance in Exergames by Embodying Celebrity Avatars in Virtual Reality.
Proceedings of the NordiCHI '22: Nordic Human-Computer Interaction Conference, Aarhus, Denmark, October 8, 2022

Enhancing Deep Learning with Embedded Features for Arabic Named Entity Recognition.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022

A-Learning: A Computerized Adaptive Learning Expert System.
Proceedings of the 14th International Conference on Computer Supported Education, 2022

A YOLO-based Object Simplification Approach for Visual Prostheses.
Proceedings of the 35th IEEE International Symposium on Computer-Based Medical Systems, 2022

2021
Extending Gardiner's code for Hieroglyphic recognition and English mapping.
Multim. Tools Appl., 2021

Unleashing early maturity academic innovations.
Commun. ACM, 2021

Language Identification of Intra-Word Code-Switching for Arabic-English.
Array, 2021

Jooka: A Bilingual Chatbot for University Admission.
Proceedings of the Trends and Applications in Information Systems and Technologies, 2021

Automatic Detection and Classification of Cognitive Distortions in Journaling Text.
Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

CDVVAR: VR/AR Collaborative Data Visualization Tool.
Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2021

Chase Away the Virus: A Character-Based Chatbot for COVID-19.
Proceedings of the 9th IEEE International Conference on Serious Games and Applications for Health, 2021

CCOnto: The Character Computing Ontology.
Proceedings of the Research Challenges in Information Science, 2021

XReC: Towards a Generic Module-Based Framework for Explainable Recommendation Based on Character.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

Anxiety Detection During COVID-19 Using the Character Computing Ontology.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection, 2021

ARcode: Programming for Youngsters Through AR.
Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2021

Drivable Area Segmentation in Deteriorating Road Regions for Autonomous Vehicles using 3D LiDAR Sensor.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2021

Social Interaction in Virtual Shopping.
Proceedings of the IEEE International Symposium on Multimedia, 2021

Drivable Area Extraction based on Shadow Corrected Images.
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021

Predicting User Code-Switching Level from Sociological and Psychological Profiles.
Proceedings of the International Conference on Asian Language Processing, 2021

Applying the Character-Based Chatbots Generation Framework in Education and Healthcare.
Proceedings of the HAI '21: International Conference on Human-Agent Interaction, Virtual Event, Japan, November 9, 2021

Electrode Dropout Compensation in Visual Prostheses: An Optimal Object Placement Approach.
Proceedings of the 43rd Annual International Conference of the IEEE Engineering in Medicine & Biology Society, 2021

Give-Me-A-Hand: The Effect of Partner's Gender on Collaboration Quality in Virtual Reality.
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021

Data Augmentation Techniques on Arabic Data for Named Entity Recognition.
Proceedings of the Fifth International Conference On Arabic Computational Linguistics, 2021

2020
Contextual Embeddings for Arabic-English Code-Switched Data.
Proceedings of the Fifth Arabic Natural Language Processing Workshop, 2020

AppGen: a framework for automatic generation of data collection apps.
Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

A Visual Rule Generation Tool for SWRL.
Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

CCOnto: Towards an Ontology-Based Model for Character Computing.
Proceedings of the Research Challenges in Information Science, 2020

The Effect of Student-Lecturer Cultural Differences on Engagement in Learning Environments - A Pilot Study.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

Towards a Generic Framework for Character-Based Chatbots.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

Who, When and Why: The 3 Ws of Code-Switching.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

VRacter: Investigating Character-Based Avatar Preference in Education.
Proceedings of the Highlights in Practical Applications of Agents, Multi-Agent Systems, and Trust-worthiness. The PAAMS Collection, 2020

A Design Space for Social Presence in VR.
Proceedings of the NordiCHI '20: Shaping Experiences, 2020

ArzEn: A Speech Corpus for Code-switched Egyptian Arabic-English.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Cairo Student Code-Switch (CSCS) Corpus: An Annotated Egyptian Arabic-English Corpus.
Proceedings of The 12th Language Resources and Evaluation Conference, 2020

Visualizing Complex Ontologies Through Sub-Ontology Extraction.
Proceedings of the 24th International Conference on Information Visualisation, 2020

Detecting Impulsive Behavior Through Agent-Based Games.
Proceedings of the Intelligent Human Systems Integration 2020, 2020

Betriebliche Umweltinformatik und nachhaltige Entwicklung: ein grenzüberschreitendes Praxisbeispiel aus Ägypten.
Proceedings of the 50. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2020 - Back to the Future, Karlsruhe, Germany, 28. September, 2020

Automatic Lecture Annotation.
Proceedings of the IEEE Frontiers in Education Conference, 2020

Are They Actually Looking? Identifying Smartphones Shoulder Surfing Through Gaze Estimation.
Proceedings of the ETRA '20 Adjunct: 2020 Symposium on Eye Tracking Research and Applications, 2020

2019
A Framework for Social Tie Strength Inference in Vehicular Social Networks.
Proceedings of the 2019 Wireless Days, 2019

An Adaptable Four-Dimensional Destination Predictor for Smart Vehicles.
Proceedings of the 2019 IEEE Wireless Communications and Networking Conference, 2019

Code-Switching Language Modeling with Bilingual Word Embeddings: A Case Study for Egyptian Arabic-English.
Proceedings of the Speech and Computer - 21st International Conference, 2019

Named Entity Recognition on Arabic-English Code-Mixed Data.
Proceedings of the 13th IEEE International Conference on Semantic Computing, 2019

CampusBuddy: how can campus public displays help students feel at home?
Proceedings of the 8th ACM International Symposium on Pervasive Displays, PerDis 2019, 2019

PathoGenius VR: VR medical training.
Proceedings of the 8th ACM International Symposium on Pervasive Displays, PerDis 2019, 2019

LifeRewinder: speed reviewing of lifelogs using tangibles.
Proceedings of the 8th ACM International Symposium on Pervasive Displays, PerDis 2019, 2019

Automatic Infogram Generation for Online Journalism.
Proceedings of the 23rd International Conference on Information Visualisation, 2019

Ground Vehicle Monocular Visual Odometry.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

ROS-based Model Predictive Trajectory Tracking Control Architecture using LiDAR-Based Mapping and Hybrid A<sup>*</sup> Planning.
Proceedings of the 2019 IEEE Intelligent Transportation Systems Conference, 2019

SMAP: A Map Extension Framework for Intelligent Travel Systems.
Proceedings of the International Conference on Computing, Networking and Communications, 2019

Designing an Emotive Avatar for a Grammar Game - A Case Study of Engagement and Performance Development.
Proceedings of the 3rd International Symposium on Gamification and Games for Learning, 2019

Investigating the Effect of Personality Traits on Performance Under Frustration.
Proceedings of the Games and Learning Alliance - 8th International Conference, 2019

Koding4Kinder: Teaching Computational Thinking to Pupils Using a Combination of Programming and Electronics Platforms.
Proceedings of the IEEE Global Engineering Education Conference, 2019

2018
Arabic Name Entity Recognition Using Deep Learning.
Proceedings of the Statistical Language and Speech Processing, 2018

MiniColon; Teaching Kids Computational Thinking Using an Interactive Serious Game.
Proceedings of the Serious Games - 4th Joint International Conference, 2018

Foodie Moodie: A crowdsourcing platform for interrelating food with mood.
Proceedings of the 6th IEEE International Conference on Serious Games and Applications for Health, 2018

Judged by the Cover: Investigating the Effect of Adaptive Game Interface on the Learning Experience.
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018

Exploring the Usage of Commercial Bio-Sensors for Multitasking Detection.
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018

Virtual Reality for Cultural Competences.
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018

Character Computing: Computer Science meets Psychology.
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018

Guess where I go?: A Mobility Predictor for Smart Vehicles.
Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018

Collection and Analysis of Code-switch Egyptian Arabic-English Speech Corpus.
Proceedings of the Eleventh International Conference on Language Resources and Evaluation, 2018

Animating Objects and Classes in Virtual Reality.
Proceedings of the 22nd International Conference Information Visualisation, 2018

Rule-Based Visualization of Tableau Calculus for Propositional Logic.
Proceedings of the 22nd International Conference Information Visualisation, 2018

Generic Data Visualization Platform.
Proceedings of the 22nd International Conference Information Visualisation, 2018

Rendering of Virtual Volumetric Shapes Using an Electromagnetic-Based Haptic Interface.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Non-obtrusive Sleep Detection for Character Computing Profiling.
Proceedings of the Intelligent Human Systems Integration, 2018

Exploring the Usage of EEG and Pupil Diameter to Detect Elicited Valence.
Proceedings of the Intelligent Human Systems Integration, 2018

CHR^vis: Syntax and Semantics.
Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Arabic Named Entity Recognition Using Clustered Word Embedding.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2018

I like to Move it: Investigating the Effect of Head and Body Movement of Avatars in VR on User's Perception.
Proceedings of the Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems, 2018

Realization of a Soft Microrobot with Multiple Flexible Flagella.
Proceedings of the 7th IEEE International Conference on Biomedical Robotics and Biomechatronics, 2018

Expanding N-grams for Code-Switch Language Models.
Proceedings of the International Conference on Advanced Intelligent Systems and Informatics, 2018

2017
Visualization of Constraint Handling Rules: Semantics and Applications.
CoRR, 2017

Galaxy Shop: Projection-Based Numeracy Game for Teenagers with Down Syndrome.
Proceedings of the Serious Games - Third Joint International Conference, 2017

I-Interact: A Virtual Reality Serious Game for Eye Contact Improvement for Children with Social Impairment.
Proceedings of the Serious Games - Third Joint International Conference, 2017

PathoGenius: A Serious Game for Medical Courses.
Proceedings of the Serious Games - Third Joint International Conference, 2017

Using Rules to Animate Prolog Programs.
Proceedings of the Doctoral Consortium, 2017

DiVA: exploring the usage of pupil diameter to elicit valence and arousal.
Proceedings of the 16th International Conference on Mobile and Ubiquitous Multimedia, 2017

Character computing: challenges and opportunities.
Proceedings of the 16th International Conference on Mobile and Ubiquitous Multimedia, 2017

CHR-Graph: A Platform for Animating Tree and Graph Algorithms.
Proceedings of the 21st International Conference Information Visualisation, 2017

A Rule-Based Approach for Automatic Interaction Detection and Annotation.
Proceedings of the 21st International Conference Information Visualisation, 2017

Rendering 3D virtual objects in mid-air using controlled magnetic fields.
Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

Spatio-Tempo-Socio-Semantic-Aware Model For destination prediction in VANET.
Proceedings of the 2017 International Conference on Computing, 2017

A Game with a Purpose for Automatic Detection of Children's Speech Disabilities Using Limited Speech Resources.
Proceedings of the Arabic Language Processing: From Theory to Practice, 2017

ABBAS: An Adaptive Bio-sensors Based Assistive System.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Building a First Language Model for Code-switch Arabic-English.
Proceedings of the Third International Conference On Arabic Computational Linguistics, 2017

2016
Generic Geo-Social Mobility Model for VANET.
Proceedings of the IEEE 84th Vehicular Technology Conference, 2016

Rules on Wheels: A Serious Game for Teaching Traffic Signs.
Proceedings of the 8th International Conference on Games and Virtual Worlds for Serious Applications, 2016

Super Alpha: Arabic Alphabet Learning Serious Game for Children with Learning Disabilities.
Proceedings of the Serious Games - Second Joint International Conference, 2016

A Rule Based Approach to teach Mathematics using Animation.
Proceedings of the Supplementary Proceedings of the RuleML 2016 Challenge, 2016

A Rule-Based Approach for Animating Java Algorithms.
Proceedings of the 20th International Conference Information Visualisation, 2016

Human Activity Recognition - Using Sensor Data of Smartphones and Smartwatches.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Harnessing Supervised Learning Techniques for the Task Planning of Ambulance Rescue Agents.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Animating Cognitive Models and Architectures: A Rule-Based Approach.
Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

Towards a Human Machine Interface Concept for Performance Improvement of Cycling.
Proceedings of the Games and Learning Alliance - 5th International Conference, 2016

Kodr: A Customizable Learning Platform for Computer Science Education.
Proceedings of the Adaptive and Adaptable Learning, 2016

2015
Towards automatic poetry generation using constraint handling rules.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

CHR in Action.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2015

DiagrammaticCHR: A Diagrammatic Representation of CHR Programs.
Proceedings of the 19th International Conference on Information Visualisation, 2015

CHR Exhaustive Execution - Revisited.
Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

iPlayAStory: A Language Learning Platform for Interactive Story-Telling.
Proceedings of the Games and Learning Alliance - 4th International Conference, 2015

Combining Forward and Backward Propagation.
Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

Satisfying Poetry Properties Using Constraint Handling Rules.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2015

Kalema: Digitizing Arabic Content for Accessibility Purposes Using Crowdsourcing.
Proceedings of the Computational Linguistics and Intelligent Text Processing, 2015

2014
Geo-Social Mobility Model for VANET Simulation.
J. Mobile Multimedia, 2014

Visualization of Constraint Handling Rules.
CoRR, 2014

Game with a Purpose for Tagging Emotions in Dialect Arabic Speech.
Proceedings of the Tenth International Conference on Signal-Image Technology and Internet-Based Systems, 2014

CHRAnimation: An Animation Tool for Constraint Handling Rules.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Exhaustive Execution of CHR Through Source-to-Source Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Collecting Data for Automatic Speech Recognition Systems in Dialectal Arabic Using Games with a Purpose.
Proceedings of the Multimodal Analyses enabling Artificial Agents in Human-Machine Interaction, 2014

An Aggressive Feature Selection Technique for Rule-based Text Categorization.
Proceedings of the ICAART 2014, 2014

AreCAPTCHA: Outsourcing Arabic Text Digitization to Native Speakers.
Proceedings of the 11th IAPR International Workshop on Document Analysis Systems, 2014

2013
Towards Inverse Execution of Constraint Handling Rules.
Theory Pract. Log. Program., 2013

GeoEvents - An Interactive Tool to Analyze and Visualize Spatial Information from the Social Web.
Proceedings of the International Conference on Social Computing, SocialCom 2013, 2013

Clustering and Planning for Rescue Agent Simulation.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013

Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2013

Collecting Links between Entities Ranked by Human Association Strengths.
Proceedings of the Semantic Web: Semantics and Big Data, 10th International Conference, 2013

2012
Visualization of CHR through Source-to-Source Transformation.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

Multi-agent Planning for the RoboCup Rescue Simulation - Applying Clustering into Task Allocation and Coordination.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 2, 2012

2011
A Visual Entity-Relationship Model for Constraint-Based University Timetabling
CoRR, 2011

Rapid phonetic transcription using everyday life natural Chat Alphabet orthography for dialectal Arabic speech recognition.
Proceedings of the IEEE International Conference on Acoustics, 2011

2010
Cross-lingual acoustic modeling for dialectal Arabic speech recognition.
Proceedings of the INTERSPEECH 2010, 2010

Constraint Reasoning with Uncertain Data Using CDF-Intervals.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

2009
Effect of gaussian densities and amount of training data on grapheme-based acoustic modeling for Arabic.
Proceedings of the 5th International Conference on Natural Language Processing and Knowledge Engineering, 2009

2008
Constructing Rule-Based Solvers for Intentionally-Defined Constraints.
Proceedings of the Constraint Handling Rules, 2008

2007
Constraint-Based Timetabling System for the German University in Cairo.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Generation of Rule-Based Constraint Solvers: Combined Approach.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

BECAM tool - a semi-automatic tool for bootstrapping emotion corpus annotation and management.
Proceedings of the INTERSPEECH 2007, 2007

2006
ARM: Automatic Rule Miner.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005
Automatic generation of CHR constraint solvers.
Theory Pract. Log. Program., 2005

Introduction to the Special Issue on Constraint Handling Rules.
Theory Pract. Log. Program., 2005

2004
Automatic generation of rule-based constraint solvers over finite domains.
ACM Trans. Comput. Log., 2004

Preface.
Proceedings of the 5th International Workshop on Rule-Based Programming, 2004

2003
Integration and Optimization of Rule-Based Constraint Solvers.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

Essentials of constraint programming.
Cognitive Technologies, Springer, ISBN: 978-3-540-67623-2, 2003

2002
Automatic Generation of Rule-Based Solvers for Intentionally Defined Constraints.
Int. J. Artif. Intell. Tools, 2002

Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.
Proceedings of the Programmation en logique avec contraintes, 2002

Tutorial: Reasoning with, about and for Constraint Handling Rules.
Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

2001
The Munich Rent Advisor: A Success for Logic Programming on the Internet.
Theory Pract. Log. Program., 2001

JACK: A Java Constraint Kit.
Proceedings of the International Workshop on Functional and (Constraint) Logic Programming, 2001

Using Confluence to Generate Rule-Based Constraint Solvers.
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

A Visualization Tool for Constraint Handling Rules.
Proceedings of the Eleventh Workshop on Logic Programming Environments (WLPE'01), 2001

Generation of Propagation Rules for Intentionally Defined Constraints.
Proceedings of the 13th IEEE International Conference on Tools with Artificial Intelligence, 2001

Towards Inductive Constraint Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
University Course Timetabling Using Constraint Handling Rules.
Appl. Artif. Intell., 2000

Constraintbasierte Raumplanung für Universitäten.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Classroom Assignment Using Constraint Logic Programming.
Proceedings of the Second International Conference on the Practical Application of Constraint Technologies and Logic Programming, 2000

An Experimental CLP Platform for Integrity Constraints and Abduction.
Proceedings of the Flexible Query Answering Systems, 2000

Automatic Generation of Propagation Rules for Finite Domains.
Proceedings of the Principles and Practice of Constraint Programming, 2000

1999
Confluence and Semantics of Constraint Simplification Rules.
Constraints An Int. J., 1999

JACK - Java Constraint Kit.
Proceedings of the German-Argentinian Workshop on Information Technology, 1999

Operational Equivalence of CHR Programs and Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 1999

Nurse Scheduling using Constraint Logic Programming.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1998
University timetabling using constraint handling rules.
Proceedings of the JFPLC'98, 1998

CHRv: A Flexible Query Language.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

On Completion of Constraint Handling Rules.
Proceedings of the Principles and Practice of Constraint Programming, 1998

Analyse von regelbasierten Constraintlösern.
Utz, ISBN: 978-3-89675-362-5, 1998

1997
Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.
Künstliche Intell., 1997

INTERDIP - Ein Interaktiver Constraint-basierter Dienstplaner für Krankenstationen.
Proceedings of the Twelfth Workshop Logic Programming, 1997

Anwendungen Constraintbasierter Programmierung.
Proceedings of the Informatik '97, 1997

Operational Semantics and Confluence of Constraint Propagation Rules.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

Model Generation with Existentially Quantified Variables and Constraints.
Proceedings of the Algebraic and Logic Programming, 6th International Joint Conference, 1997

Constraint-Programmierung - Grundlagen und Anwendungen.
Springer, ISBN: 978-3-540-60670-3, 1997

1996
On Confluence of Constraint Handling Rules.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
The theorem prover SATCHMO : strategies, heuristics and applications.
Proceedings of the JFPLC'95, 1995


  Loading...