Abdul Sattar

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Probabilistic Belief Contraction Using Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Semantic Network Model: A Reasoning Engine for Software Requirements.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Constraint-Based Local Search for Golomb Rulers.

[BibT_eX]

[DOI]

Md. Masbaul Alam Polash

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Probabilistic Belief Contraction: Considerations on Epistemic Entrenchment, Probability Mixtures and KL Divergence.

[BibT_eX]

[DOI]

Kinzang Chhogyal

Abhaya C. Nayak

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2015

Transition Constraints for Parallel Planning.

[BibT_eX]

[DOI]

Nina Ghanbari Ghooshchi

Majid Namazi

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

A Segmentation-Based Method to Extract Structural and Evolutionary Features for Protein Fold Recognition.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto-encoder deep neural network.

[BibT_eX]

[DOI]

J. Comput. Chem., 2014

Association Rules Mining Based Clinical Observations.

[BibT_eX]

[DOI]

Mahmood A. Rashid

Md. Tamjidul Hoque

CoRR, 2014

Detecting Requirements Defects Utilizing A Mathematical Framework for Behavior Engineering.

[BibT_eX]

[DOI]

CoRR, 2014

Towards sequence-based prediction of mutation-induced stability changes in unseen non-homologous proteins.

[BibT_eX]

[DOI]

Lukas Folkman

BMC Genom., 2014

Proposing a highly accurate protein structural class predictor using segmentation-based features.

[BibT_eX]

[DOI]

BMC Genom., 2014

How Good Are Simplified Models for Protein Structure Prediction?

[BibT_eX]

[DOI]

Adv. Bioinformatics, 2014

A Parallel Framework for Multipoint Spiral Search in ab Initio Protein Structure Prediction.

[BibT_eX]

[DOI]

Adv. Bioinformatics, 2014

Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Predicting Procedure Duration to Improve Scheduling of Elective Surgery.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction.

[BibT_eX]

[DOI]

Mahmood A. Rashid

Md. Masbaul Alam Polash

Md. Tamjidul Hoque

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Probabilistic Belief Revision via Imaging.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Formalisation of the integration of behavior trees.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

An intensional approach for periodic data in relational databases.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2013

Querying now-relative data.

[BibT_eX]

[DOI]

J. Intell. Inf. Syst., 2013

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Mixing Energy Models in Genetic Algorithms for On-Lattice Protein Structure Prediction.

[BibT_eX]

[DOI]

CoRR, 2013

The road not taken: retreat and diverge in local search for simplified protein structure prediction.

[BibT_eX]

[DOI]

BMC Bioinform., 2013

Spiral search: a hydrophobic-core directed local search for simplified PSP on 3D FCC lattice.

[BibT_eX]

[DOI]

BMC Bioinform., 2013

Sequence-only evolutionary and predicted structural features for the prediction of stability changes in protein mutants.

[BibT_eX]

[DOI]

Lukas Folkman

BMC Bioinform., 2013

Collaborative Parallel Local Search for Simplified Protein Structure Prediction.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Trust, 2013

Trap escape for local search by backtracking and conflict reverse.

[BibT_eX]

[DOI]

Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Exploring Potential Discriminatory Information Embedded in PSSM to Enhance Protein Structural Class Prediction Accuracy.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition in Bioinformatics, 2013

Enhancing Protein Fold Prediction Accuracy Using Evolutionary and Structural Features.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition in Bioinformatics, 2013

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.

[BibT_eX]

[DOI]

Thach-Thao Nguyen Duong

Proceedings of the IJCAI 2013, 2013

Group Recommender Systems - Some Experimental Results.

[BibT_eX]

Prabhu Kiran

Proceedings of the ICAART 2013, 2013

Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

A new operator for efficient stream-relation join processing in data streaming engines.

[BibT_eX]

[DOI]

Roozbeh Derakhshan

Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

An efficient encoding for simplified protein structure prediction using genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

A local search embedded genetic algorithm for simplified protein structure prediction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2013

A Hybrid Local Search for Simplified Protein Structure Prediction.

[BibT_eX]

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013

Neighborhood Selection in Constraint-Based Local Search for Protein Structure Prediction.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Protein Fold Recognition Using an Overlapping Segmentation Approach and a Mixture of Feature Extraction Models.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Protein Fold Recognition Using Segmentation-Based Feature Extraction Model.

[BibT_eX]

[DOI]

Abdollah Dehzangi

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition.

[BibT_eX]

[DOI]

Abdollah Dehzangi

Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

Simplified Lattice Models for Protein Structure Prediction: How Good Are They?

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Mixed Heuristic Local Search for Protein Structure Prediction.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012

X-CleLo: intelligent deterministic RFID data and event transformer.

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2012

A complete first-order temporal BDI logic for forest multi-agent systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2012

An implicit approach to deal with periodically repeated medical data.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2012

AI@NICTA.

[BibT_eX]

[DOI]

Nick Barnes

Peter Baumgartner

Tibério S. Caetano

Hugh F. Durrant-Whyte

Pascal Van Hentenryck

Toby Walsh

AI Mag., 2012

A Study of Local Minimum Avoidance Heuristics for SAT.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

Refining Genetic Algorithm twin removal for high-resolution protein structure prediction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2012

Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction.

[BibT_eX]

Proceedings of the BIOINFORMATICS 2012 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Vilamoura, Algarve, Portugal, 1, 2012

Memory-based local search for simplified protein structure prediction.

[BibT_eX]

[DOI]

Muhammad Abdul Hakim Newton

Proceedings of the ACM International Conference on Bioinformatics, 2012

Random-walk: a stagnation recovery technique for simplified protein structure prediction.

[BibT_eX]

[DOI]

Proceedings of the ACM International Conference on Bioinformatics, 2012

A New Genetic Algorithm for Simplified Protein Structure Prediction.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

A Method to Avoid Duplicative Flipping in Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Towards Real Intelligent Web Exploration.

[BibT_eX]

[DOI]

Pavel Kalinov

Proceedings of the Web Technologies and Applications - 14th Asia-Pacific Web Conference, 2012

Indexing RFID data using the VG-curve.

[BibT_eX]

[DOI]

Justin Terry

Proceedings of the Twenty-Third Australasian Database Conference, 2012

On modeling punishment in multi-agent systems.

[BibT_eX]

[DOI]

Subhasis Thakur

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Trap Avoidance in Local Search Using Pseudo-Conflict Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Two New Local Search Strategies for Minimum Vertex Cover.

[BibT_eX]

[DOI]

Shaowei Cai

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Twin Removal in Genetic Algorithms for Protein Structure Prediction Using Low-Resolution Model.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2011

Special issue on logics for intelligent agents and multi-agent systems.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

Levels of modality for BDI Logic.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies.

[BibT_eX]

[DOI]

Intell. Data Anal., 2011

Local search with edge weighting and configuration checking heuristics for minimum vertex cover.

[BibT_eX]

[DOI]

Shaowei Cai

Artif. Intell., 2011

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.

[BibT_eX]

[DOI]

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011

Incorporating Temporal Planning Within a BDI Architecture.

[BibT_eX]

Muhammad Abdul Hakim Newton

Kollapalli Ramesh Babu

Proceedings of the 5th Indian International Conference on Artificial Intelligence, 2011

Semantic Search and Retrieval System for Learning Objects.

[BibT_eX]

[DOI]

Proceedings of the International Conference on IT Convergence and Security, 2011

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation.

[BibT_eX]

[DOI]

Michael J. Maher

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

A Triangular Decomposition Access Method for Temporal Data - TD-tree.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second Australasian Database Conference, 2011

Variable Granularity Space Filling Curve for Indexing Multidimensional Data.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2011

A Novel Integrated Classifier for Handling Data Warehouse Anomalies.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2011

2010

DFS-generated pathways in GA crossover for protein structure prediction.

[BibT_eX]

[DOI]

Neurocomputing, 2010

Advanced indexing technique for temporal data.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2010

Let's Trust Users It is Their Search.

[BibT_eX]

[DOI]

Pavel Kalinov

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

An Intelligent Approach to Surgery Scheduling.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Multiagent Based Scheduling of Elective Surgery.

[BibT_eX]

[DOI]

Sankalp Khanna

David P. Hansen

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Partial Weighted MaxSAT for Optimal Planning.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Vallipuram Muthukkumarasamy

Proceedings of the Fourth International Conference on Network and System Security, 2010

A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Towards an implicit treatment of periodically-repeated medical data.

[BibT_eX]

[DOI]

Proceedings of the MEDINFO 2010, 2010

A trust management architecture for hierarchical wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

X-CleLo: Intelligent Deterministic RFID Data Transformer.

[BibT_eX]

Proceedings of the RFID Technology-Concepts, 2010

A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Genetic algorithm feature-based resampling for protein structure prediction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Trust Formalization in Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Vallipuram Muthukkumarasamy

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

Building a dynamic classifier for large text data collections.

[BibT_eX]

[DOI]

Pavel Kalinov

Proceedings of the Database Technologies 2010, 2010

Indexing Temporal Data with Virtual Structure.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2010

Correcting Missing Data Anomalies with Clausal Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Databases and Information Systems, 2010

Applying a neural network to recover missed RFID readings.

[BibT_eX]

[DOI]

Proceedings of the Computer Science 2010, 2010

Trust Management Scheme for Mobile Ad-Hoc Networks.

[BibT_eX]

[DOI]

Vallipuram Muthukkumarasamy

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Genetic Algorithm inAb Initio Protein Structure Prediction Using Low Resolution Model: A Review.

[BibT_eX]

[DOI]

Tamjidul Hoque

Madhu Chetty

Proceedings of the Biomedical Data and Applications, 2009

Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.

[BibT_eX]

[DOI]

Ji Ma

Mehmet A. Orgun

IEEE Trans. Syst. Man Cybern. Part B, 2009

The POINT approach to represent now in bitemporal databases.

[BibT_eX]

[DOI]

Paolo Terenziani

J. Intell. Inf. Syst., 2009

Extended HP Model for Protein Structure Prediction.

[BibT_eX]

[DOI]

Tamjidul Hoque

Madhu Chetty

J. Comput. Biol., 2009

Variable Forgetting in Reasoning about Knowledge.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2009

A defeasible logic for modelling policy-based intentions and motivational attitudes.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic.

[BibT_eX]

[DOI]

Proceedings of the 3rd International RuleML-2009 Challenge, 2009

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

An Efficient Algorithm for Solving Dynamic Complex DCOP Problems.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Theories of Trust for Communication Protocols.

[BibT_eX]

[DOI]

Ji Ma

Mehmet A. Orgun

Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

SAT-Based Parallel Planning Using a Split Representation of Actions.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008

Combining Adaptive and Dynamic Local Search for Satisfiability.

[BibT_eX]

[DOI]

J. Satisf. Boolean Model. Comput., 2008

A Constraint-Based Autonomous 3D Camera System.

[BibT_eX]

[DOI]

Owen Bourne

Constraints An Int. J., 2008

Modelling and solving temporal reasoning as propositional satisfiability.

[BibT_eX]

[DOI]

Artif. Intell., 2008

Quantifying Commitment.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

DFS Based Partial Pathways in GA for Protein Structure Prediction.

[BibT_eX]

[DOI]

Proceedings of the Pattern Recognition in Bioinformatics, 2008

Solving Sum and Product Riddle via BDD-Based Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Levels of Modalities for BDI Logic.

[BibT_eX]

[DOI]

Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Coping efficiently with now-relative medical data.

[BibT_eX]

[DOI]

Paolo Terenziani

Proceedings of the AMIA 2008, 2008

A Compact and Efficient SAT Encoding for Planning.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

An Extended Interpreted System Model for Epistemic Logics.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Efficiently Exploiting Dependencies in Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007

Model Checking Temporal Logics of Knowledge Via OBDDs.

[BibT_eX]

[DOI]

Xiangyu Luo

Comput. J., 2007

Reasoning with Levels of Modalities in BDI Logic.

[BibT_eX]

[DOI]

Jeff Blee

David Billington

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Building Structure into Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2007, 2007

Protein folding prediction in 3D FCC HP lattice model using genetic algorithm.

[BibT_eX]

[DOI]

Tamjidul Hoque

Madhu Chetty

Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Advances in Local Search for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Weight Redistribution for Unweighted MAX-SAT.

[BibT_eX]

[DOI]

Abdelraouf Ishtaiwi

Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

A Modal Logic for Beliefs and Pro Attitudes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Intention Guided Belief Revision.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2006

Editors' introduction.

[BibT_eX]

[DOI]

Mark Reynolds

J. Appl. Log., 2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, 2006

Towards an Efficient SAT Encoding for Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

Adaptive Clause Weight Redistribution.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

LPForget: A System of Forgetting in Answer Set Programming.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

User defined monitoring strategies for BDI agent programs.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Handling of current time in native XML databases.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies 2006, 2006

2005

Merging and Aligning Ontologies in dl-Programs.

[BibT_eX]

[DOI]

Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Reasoning about Success and Failure in Intentional Agents.

[BibT_eX]

[DOI]

Kewen Wang

Proceedings of the Multi-Agent Systems for Society, 2005

Computationally Grounded Model of BDI-Agents.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Neighbourhood Clause Weight Redistribution in Local Search for SAT.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Evolving Variable-Ordering Heuristics for Constrained Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2005

Reasoning with the Outcomes of Plan Execution in Intentional Agents.

[BibT_eX]

[DOI]

Kewen Wang

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics.

[BibT_eX]

[DOI]

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A computationally grounded logic of knowledge, belief and certainty.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Bounded model checking knowledge and branching time in synchronous multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Applying Constraint Weighting to Autonomous Camera Control.

[BibT_eX]

Owen Bourne

Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, 2005

Handling Over-Constrained Problems in Distributed Multi-agent Systems.

[BibT_eX]

[DOI]

Lingzhong Zhou

Proceedings of the Advances in Artificial Intelligence, 2005

A Theory of Forgetting in Logic Programming.

[BibT_eX]

[DOI]

Kewen Wang

Proceedings of the Proceedings, 2005

Observation-based Model for BDI-Agents.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

Old Resolution Meets Modern SLS.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 2005

2004

A Local Search Approach to Modelling and Solving Interval Algebra Problems.

[BibT_eX]

[DOI]

J. Log. Comput., 2004

Iterated Belief Change.

[BibT_eX]

[DOI]

Comput. Intell., 2004

Solving Over-Constrained Temporal Reasoning Problems Using Local Search.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Methods of Automatic Algorithm Generation.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Lingzhong Zhou

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Logical Query Transformation in Bitemporal Databases.

[BibT_eX]

Justin Terry

Proceedings of the IASTED International Conference on Databases and Applications, 2004

Applying Constraint Satisfaction Techniques to 3D Camera Control.

[BibT_eX]

[DOI]

Owen Bourne

Proceedings of the Principles and Practice of Constraint Programming, 2004

Evolving algorithms for constraint satisfaction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Code Improvements for Model Elimination Based Reasoning Systems.

[BibT_eX]

[DOI]

Richard A. Hagen

Proceedings of the Computer Science 2004, 2004

2003

Extending Dual Arc Consistency.

[BibT_eX]

[DOI]

Int. J. Pattern Recognit. Artif. Intell., 2003

A Novel Approach to Model NOW in Temporal Databases.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Deciding consistency of a point-duration network with metric constraints.

[BibT_eX]

[DOI]

Isabel Navarrete

Roque Marín

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Dynamic Agent Ordering in Distributed Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Lingzhong Zhou

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Dynamic Variable Filtering for Hard Random 3-SAT Problems.

[BibT_eX]

[DOI]

Anbulagan

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Improving Search in a Hypothetical Reasoning System.

[BibT_eX]

[DOI]

Richard A. Hagen

Proceedings of the Computer Science 2003, 2003

2002

On point-duration networks for temporal reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 2002

Applying Local Search to Temporal Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

On Fibring Semantics for BDI Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

An Investigation of Variable Relationships in 3-SAT Problems.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

A Defeasible Logic of Policy-Based Intention.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Polynomial-time learnability of logic programs with local variables from entailment.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

Nonbinary Constraint Satisfaction: From the Dual to the Primal.

[BibT_eX]

[DOI]

Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Actions Made Explicit in BDI.

[BibT_eX]

[DOI]

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

Solving Overconstrained Temporal Reasoning Problems.

[BibT_eX]

[DOI]

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Guaranteed Mutually Consistent Checkpointing in Distributed Computations.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 2000

Handling side-effects and cuts with selective recomputation in parallel Prolog.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2000

Representation and Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Constraints An Int. J., 2000

Temporal Reasoning: A Three Way Analysis.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Dual Encoding Using Constraint Coverings.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

On Dual Encodings for Non-binary Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

A Constraint Directed Model for Partial Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2000

1999

Connections Between Default Reasoning and Partial Constraint Satisfaction.

[BibT_eX]

[DOI]

Inf. Sci., 1999

A New Look At Multimedia Synchronization in Distributed Environments.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

A New Framework for Reasoning about Points, Intervals and Durations.

[BibT_eX]

[DOI]

Arun K. Pujari

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

On the Behavior and Application of Constraint Weighting.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1999

Learning Logic Programs with Local Variables from Positive Examples.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

INDU: An Interval and Duration Network.

[BibT_eX]

[DOI]

Arun K. Pujari

G. Vijaya Kumari

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

An Experimental Study of Reasoning with Sequences of Point Events.

[BibT_eX]

[DOI]

Matthew Beaumont

Proceedings of the PRICAI'98, 1998

Dynamic Constraint Weighting for Over-Constrained Problems.

[BibT_eX]

[DOI]

Proceedings of the PRICAI'98, 1998

Learning Linearly-Moded Programs from Entailment.

[BibT_eX]

[DOI]

Proceedings of the PRICAI'98, 1998

Parallel Vision Computing on a Network of Workstation Clusters.

[BibT_eX]

[DOI]

Jane You

Ljubo Vlavic

Proceedings of IAPR Workshop on Machine Vision Applications, 1998

Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Guaranteed Mutually Consistent Checkpointing in Distributed Computations.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1998

Exploring Regional Locality in Distributed Shared Memory.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1998

Learning from Entailment of Logic Programs with Local Variables.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

Using Arc Weights to Improve Iterative Repair.

[BibT_eX]

[DOI]

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Consistency-Motivated Reason Maintenance in Hypothetical Reasoning.

[BibT_eX]

[DOI]

New Gener. Comput., 1997

Selective Recomputation for Handling Side-Effects in Parallel Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages: Implementations, 1997

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Fractional Discrimination for Texture Image Segmentation.

[BibT_eX]

[DOI]

Jane You

Suresh Hungenahally

Proceedings of the Proceedings 1997 International Conference on Image Processing, 1997

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1997

A Generalized Framework for Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1997

Heuristic Diff Acquiring in Lazy Release Consistency Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing Science, 1997

1996

Reasoning with Sequences of Point Events.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Changing Conditional Belief Unconditionally.

[BibT_eX]

Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

An Integer Programming-Based Nurse Rostering System.

[BibT_eX]

[DOI]

Proceedings of the Concurrency and Parallelism, 1996

Reasoning with Multi-Point Events.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 1996

1995

Specifying Over-Constrained Problems in Default Logic.

[BibT_eX]

[DOI]

Aditya Ghose

Proceedings of the Over-Constrained Systems, 1995

1994

Reinforcement learning of iterative behaviour with multiple sensors.

[BibT_eX]

[DOI]

Pushkar Piggott

Appl. Intell., 1994

Belief Revision in a Discrete Temporal Probability-Logic.

[BibT_eX]

Proceedings of the TIME-94 International Workshop on Temporal Reasoning, 1994

1993

Nonmonotonic inheritance reasoning in classifiers.

[BibT_eX]

[DOI]

Alex Young

Proceedings of the First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems, 1993

A mineral deposit modelling and assessment expert system.

[BibT_eX]

[DOI]

Ian Moore

Proceedings of the First New Zealand International Two-Stream Conference on Artificial Neural Networks and Expert Systems, 1993

1991

Using crucial literals to select better theories.

[BibT_eX]

[DOI]

Comput. Intell., 1991

Meta-reasoning: An Incremental Compilation Approach.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Data Engineering, 1991

1990

On the Efficiency of Logic-Based Diagnosis.

[BibT_eX]

[DOI]