Abdul Sattar

According to our database1, Abdul Sattar authored at least 246 papers between 1990 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Constraint guided search for aircraft sequencing.
Expert Syst. Appl., 2019

Constraint guided accelerated search for mixed blocking permutation flowshop scheduling.
Computers & OR, 2019

2018
Mixed Neighbourhood Local Search for Customer Order Scheduling Problem.
Proceedings of the PRICAI 2018: Trends in Artificial Intelligence, 2018

Constraint-Guided Local Search for Single Mixed-Operation Runway.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Diversified Late Acceptance Search.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Local Search for Flowshops with Setup Times and Blocking Constraints.
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017
Encoding Domain Transitions for Constraint-Based Planning.
J. Artif. Intell. Res., 2017

Constraint-based search for optimal Golomb rulers.
J. Heuristics, 2017

Scatter search for mixed blocking flowshop scheduling.
Expert Syst. Appl., 2017

Constraint-directed search for all-interval series.
Constraints, 2017

Multi-neighbourhood Great Deluge for Google Machine Reassignment Problem.
Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

Evolutionary Learning Based Iterated Local Search for Google Machine Reassignment Problems.
Proceedings of the Simulated Evolution and Learning - 11th International Conference, 2017

A Unifying Framework for Probabilistic Belief Revision.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Improved Prediction of Procedure Duration for Elective Surgery.
Proceedings of the Integrating and Connecting Care, 2017

Visualisation of Compliant Declarative Business Processes.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Dynamic thresholds for self-organizing predictive cells.
Proceedings of the Fourteenth European Conference Artificial Life, 2017

Optimising Deep Belief Networks by hyper-heuristic approach.
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

Deterministic Tournament Selection in Local Search for Maximum Edge Weight Clique on Large Sparse Graphs.
Proceedings of the AI 2017: Advances in Artificial Intelligence, 2017

Quantified Coalition Logic of Knowledge, Belief and Certainty.
Proceedings of the Advances in Artificial Intelligence, 2017

2016
A Comprehensive Approach to 'Now' in Temporal Relational Databases: Semantics and Representation.
IEEE Trans. Knowl. Data Eng., 2016

An Enhanced Genetic Algorithm for Ab Initio Protein Structure Prediction.
IEEE Trans. Evolutionary Computation, 2016

A first-order coalition logic for BDI-agents.
Frontiers Comput. Sci., 2016

Guided macro-mutation in a graded energy based genetic algorithm for protein structure prediction.
Computational Biology and Chemistry, 2016

Highly accurate sequence-based prediction of half-sphere exposures of amino acid residues in proteins.
Bioinformatics, 2016

Local Search with Noisy Strategy for Minimum Vertex Cover in Massive Graphs.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Prediction with Confidence in Item Based Collaborative Filtering.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

Random Walk in Large Real-World Graphs for Finding Smaller Vertex Cover.
Proceedings of the 28th IEEE International Conference on Tools with Artificial Intelligence, 2016

Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Parallel Late Acceptance Hill-Climbing Algorithm for the Google Machine Reassignment Problem.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Assignment Precipitation in Fail First Search.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Local Search for Maximum Vertex Weight Clique on Large Sparse Graphs with Efficient Data Structures.
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015
A mixture of physicochemical and evolutionary-based feature extraction approaches for protein fold recognition.
IJDMB, 2015

Gram-positive and gram-negative subcellular localization using rotation forest and physicochemical-based features.
BMC Bioinformatics, 2015

DDIG-in: detecting disease-causing genetic variations due to frameshifting indels and nonsense mutations employing sequence and structural properties at nucleotide and protein levels.
Bioinformatics, 2015

On the KL Divergence of Probability Mixtures for Belief Contraction.
Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

Probabilistic Belief Contraction Using Argumentation.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Semantic Network Model: A Reasoning Engine for Software Requirements.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Constraint-Based Local Search for Golomb Rulers.
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.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

A General Approach to Represent and Query Now-Relative Medical Data in Relational Databases.
Proceedings of the Artificial Intelligence in Medicine, 2015

Transition Constraints for Parallel Planning.
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.
IEEE/ACM Trans. Comput. Biology Bioinform., 2014

Predicting backbone Cα angles and dihedrals from protein sequences by stacked sparse auto-encoder deep neural network.
Journal of Computational Chemistry, 2014

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

Proposing a highly accurate protein structural class predictor using segmentation-based features.
BMC Genomics, 2014

How Good Are Simplified Models for Protein Structure Prediction?
Adv. Bioinformatics, 2014

A Parallel Framework for Multipoint Spiral Search in ab Initio Protein Structure Prediction.
Adv. Bioinformatics, 2014

Constraint-Based Evolutionary Local Search for Protein Structures with Secondary Motifs.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Predicting Procedure Duration to Improve Scheduling of Elective Surgery.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Amino Acids Pattern-Biased Spiral Search for Protein Structure Prediction.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Probabilistic Belief Revision via Imaging.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Formalisation of the integration of behavior trees.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013
An intensional approach for periodic data in relational databases.
J. Intell. Inf. Syst., 2013

Querying now-relative data.
J. Intell. Inf. Syst., 2013

NuMVC: An Efficient Local Search Algorithm for Minimum Vertex Cover.
J. Artif. Intell. Res., 2013

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

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

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

Collaborative Parallel Local Search for Simplified Protein Structure Prediction.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Trap escape for local search by backtracking and conflict reverse.
Proceedings of the Twelfth Scandinavian Conference on Artificial Intelligence, 2013

Exploring Potential Discriminatory Information Embedded in PSSM to Enhance Protein Structural Class Prediction Accuracy.
Proceedings of the Pattern Recognition in Bioinformatics, 2013

Enhancing Protein Fold Prediction Accuracy Using Evolutionary and Structural Features.
Proceedings of the Pattern Recognition in Bioinformatics, 2013

Weight-Enhanced Diversification in Stochastic Local Search for Satisfiability.
Proceedings of the IJCAI 2013, 2013

Group Recommender Systems - Some Experimental Results.
Proceedings of the ICAART 2013, 2013

Stochastic Local Search Based Channel Assignment in Wireless Mesh Networks.
Proceedings of the Principles and Practice of Constraint Programming, 2013

A new operator for efficient stream-relation join processing in data streaming engines.
Proceedings of the 22nd ACM International Conference on Information and Knowledge Management, 2013

An efficient encoding for simplified protein structure prediction using genetic algorithms.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

A local search embedded genetic algorithm for simplified protein structure prediction.
Proceedings of the IEEE Congress on Evolutionary Computation, 2013

A Hybrid Local Search for Simplified Protein Structure Prediction.
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.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Diversify Intensification Phases in Local Search for SAT with a New Probability Distribution.
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.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Protein Fold Recognition Using Segmentation-Based Feature Extraction Model.
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

Ensemble of Diversely Trained Support Vector Machines for Protein Fold Recognition.
Proceedings of the Intelligent Information and Database Systems - 5th Asian Conference, 2013

Simplified Lattice Models for Protein Structure Prediction: How Good Are They?
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Mixed Heuristic Local Search for Protein Structure Prediction.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
X-CleLo: intelligent deterministic RFID data and event transformer.
Personal and Ubiquitous Computing, 2012

A complete first-order temporal BDI logic for forest multi-agent systems.
Knowl.-Based Syst., 2012

An implicit approach to deal with periodically repeated medical data.
Artificial Intelligence in Medicine, 2012

AI@NICTA.
AI Magazine, 2012

A Study of Local Minimum Avoidance Heuristics for SAT.
Proceedings of the ECAI 2012, 2012

Refining Genetic Algorithm twin removal for high-resolution protein structure prediction.
Proceedings of the IEEE Congress on Evolutionary Computation, 2012

Benefits of Genetic Algorithm Feature-based Resampling for Protein Structure Prediction.
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.
Proceedings of the ACM International Conference on Bioinformatics, 2012

Random-walk: a stagnation recovery technique for simplified protein structure prediction.
Proceedings of the ACM International Conference on Bioinformatics, 2012

A New Genetic Algorithm for Simplified Protein Structure Prediction.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

A Method to Avoid Duplicative Flipping in Local Search for SAT.
Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

Towards Real Intelligent Web Exploration.
Proceedings of the Web Technologies and Applications - 14th Asia-Pacific Web Conference, 2012

Indexing RFID data using the VG-curve.
Proceedings of the Twenty-Third Australasian Database Conference, 2012

On modeling punishment in multi-agent systems.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Trap Avoidance in Local Search Using Pseudo-Conflict Learning.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

Two New Local Search Strategies for Minimum Vertex Cover.
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.
IEEE/ACM Trans. Comput. Biology Bioinform., 2011

Special issue on logics for intelligent agents and multi-agent systems.
J. Applied Logic, 2011

Levels of modality for BDI Logic.
J. Applied Logic, 2011

An intelligent approach to handle False-Positive Radio Frequency Identification Anomalies.
Intell. Data Anal., 2011

Local search with edge weighting and configuration checking heuristics for minimum vertex cover.
Artif. Intell., 2011

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011

Incorporating Temporal Planning Within a BDI Architecture.
Proceedings of the 5th Indian International Conference on Artificial Intelligence, 2011

Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

A Triangular Decomposition Access Method for Temporal Data - TD-tree.
Proceedings of the Twenty-Second Australasian Database Conference, 2011

Variable Granularity Space Filling Curve for Indexing Multidimensional Data.
Proceedings of the Advances in Databases and Information Systems, 2011

A Novel Integrated Classifier for Handling Data Warehouse Anomalies.
Proceedings of the Advances in Databases and Information Systems, 2011

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

Advanced indexing technique for temporal data.
Comput. Sci. Inf. Syst., 2010

Let's Trust Users It is Their Search.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence, 2010

An Intelligent Approach to Surgery Scheduling.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Multiagent Based Scheduling of Elective Surgery.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Partial Weighted MaxSAT for Optimal Planning.
Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

A Node-based Trust Management Scheme for Mobile Ad-Hoc Networks.
Proceedings of the Fourth International Conference on Network and System Security, 2010

A Dynamic Authentication Scheme for Hierarchical Wireless Sensor Networks.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking, and Services, 2010

Towards an implicit treatment of periodically-repeated medical data.
Proceedings of the MEDINFO 2010, 2010

A trust management architecture for hierarchical wireless sensor networks.
Proceedings of the 35th Annual IEEE Conference on Local Computer Networks, 2010

X-CleLo: Intelligent Deterministic RFID Data Transformer.
Proceedings of the RFID Technology-Concepts, 2010

A Dynamic Trust Establishment and Management Framework for Wireless Sensor Networks.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Genetic algorithm feature-based resampling for protein structure prediction.
Proceedings of the IEEE Congress on Evolutionary Computation, 2010

Trust Formalization in Mobile Ad-Hoc Networks.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

Building a dynamic classifier for large text data collections.
Proceedings of the Database Technologies 2010, 2010

Indexing Temporal Data with Virtual Structure.
Proceedings of the Advances in Databases and Information Systems, 2010

Correcting Missing Data Anomalies with Clausal Defeasible Logic.
Proceedings of the Advances in Databases and Information Systems, 2010

Applying a neural network to recover missed RFID readings.
Proceedings of the Computer Science 2010, 2010

Trust Management Scheme for Mobile Ad-Hoc Networks.
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.
Proceedings of the Biomedical Data and Applications, 2009

Analysis of Authentication Protocols in Agent-Based Systems Using Labeled Tableaux.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2009

The POINT approach to represent now in bitemporal databases.
J. Intell. Inf. Syst., 2009

Extended HP Model for Protein Structure Prediction.
Journal of Computational Biology, 2009

Variable Forgetting in Reasoning about Knowledge.
J. Artif. Intell. Res., 2009

A defeasible logic for modelling policy-based intentions and motivational attitudes.
Logic Journal of the IGPL, 2009

A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic.
Proceedings of the 3rd International RuleML-2009 Challenge, 2009

Temporalised Epistemic Logic for Reasoning about Agent-Based Systems.
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.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Theories of Trust for Communication Protocols.
Proceedings of the Autonomic and Trusted Computing, 6th International Conference, 2009

SAT-Based Parallel Planning Using a Split Representation of Actions.
Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

2008
Combining Adaptive and Dynamic Local Search for Satisfiability.
JSAT, 2008

A Constraint-Based Autonomous 3D Camera System.
Constraints, 2008

Modelling and solving temporal reasoning as propositional satisfiability.
Artif. Intell., 2008

Quantifying Commitment.
Proceedings of the PRICAI 2008: Trends in Artificial Intelligence, 2008

DFS Based Partial Pathways in GA for Protein Structure Prediction.
Proceedings of the Pattern Recognition in Bioinformatics, 2008

Solving Sum and Product Riddle via BDD-Based Model Checking.
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.
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.
Proceedings of the AMIA 2008, 2008

A Compact and Efficient SAT Encoding for Planning.
Proceedings of the Eighteenth International Conference on Automated Planning and Scheduling, 2008

An Extended Interpreted System Model for Epistemic Logics.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

Efficiently Exploiting Dependencies in Local Search for SAT.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Model Checking Temporal Logics of Knowledge Via OBDDs.
Comput. J., 2007

Reasoning with Levels of Modalities in BDI Logic.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Building Structure into Local Search for SAT.
Proceedings of the IJCAI 2007, 2007

Protein folding prediction in 3D FCC HP lattice model using genetic algorithm.
Proceedings of the IEEE Congress on Evolutionary Computation, 2007

Advances in Local Search for Satisfiability.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Weight Redistribution for Unweighted MAX-SAT.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

A Modal Logic for Beliefs and Pro Attitudes.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Intention Guided Belief Revision.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.
J. Comput. Sci. Technol., 2006

Editors' introduction.
J. Applied Logic, 2006

Observation-Based Logic of Knowledge, Belief, Desire and Intention.
Proceedings of the Knowledge Science, 2006

Towards an Efficient SAT Encoding for Temporal Reasoning.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Adaptive Clause Weight Redistribution.
Proceedings of the Principles and Practice of Constraint Programming, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

LPForget: A System of Forgetting in Answer Set Programming.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

The interpreted system model of knowledge, belief, desire and intention.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

User defined monitoring strategies for BDI agent programs.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Handling of current time in native XML databases.
Proceedings of the Database Technologies 2006, 2006

2005
Merging and Aligning Ontologies in dl-Programs.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Reasoning about Success and Failure in Intentional Agents.
Proceedings of the Multi-Agent Systems for Society, 2005

Computationally Grounded Model of BDI-Agents.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Evolving Variable-Ordering Heuristics for Constrained Optimisation.
Proceedings of the Principles and Practice of Constraint Programming, 2005

Reasoning with the Outcomes of Plan Execution in Intentional Agents.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A Comparison of Evolutionary Methods for the Discovery of Local Search Heuristics.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A computationally grounded logic of knowledge, belief and certainty.
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.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Applying Constraint Weighting to Autonomous Camera Control.
Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, 2005

Handling Over-Constrained Problems in Distributed Multi-agent Systems.
Proceedings of the Advances in Artificial Intelligence, 2005

A Theory of Forgetting in Logic Programming.
Proceedings of the Proceedings, 2005

Observation-based Model for BDI-Agents.
Proceedings of the Proceedings, 2005

SAT-Based versus CSP-Based Constraint Weighting for Satisfiability.
Proceedings of the Proceedings, 2005

Old Resolution Meets Modern SLS.
Proceedings of the Proceedings, 2005

2004
A Local Search Approach to Modelling and Solving Interval Algebra Problems.
J. Log. Comput., 2004

Iterated Belief Change.
Computational Intelligence, 2004

Solving Over-Constrained Temporal Reasoning Problems Using Local Search.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Methods of Automatic Algorithm Generation.
Proceedings of the PRICAI 2004: Trends in Artificial Intelligence, 2004

Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems.
Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

Logical Query Transformation in Bitemporal Databases.
Proceedings of the IASTED International Conference on Databases and Applications, 2004

Applying Constraint Satisfaction Techniques to 3D Camera Control.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Evolving algorithms for constraint satisfaction.
Proceedings of the IEEE Congress on Evolutionary Computation, 2004

Applying Constraint Satisfaction Techniques to 3D Camera Control.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Code Improvements for Model Elimination Based Reasoning Systems.
Proceedings of the Computer Science 2004, 2004

2003
A Novel Approach to Model NOW in Temporal Databases.
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.
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.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Dynamic Variable Filtering for Hard Random 3-SAT Problems.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

Improving Search in a Hypothetical Reasoning System.
Proceedings of the Computer Science 2003, 2003

2002
On point-duration networks for temporal reasoning.
Artif. Intell., 2002

Applying Local Search to Temporal Reasoning.
Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

On Fibring Semantics for BDI Logics.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Extending Dual Arc Consistency.
Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

A Two Level Local Search for MAX-SAT Problems with Hard and Soft Constraints.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

An Investigation of Variable Relationships in 3-SAT Problems.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

A Defeasible Logic of Policy-Based Intention.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001
Polynomial-time learnability of logic programs with local variables from entailment.
Theor. Comput. Sci., 2001

Nonbinary Constraint Satisfaction: From the Dual to the Primal.
Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, 2001

Actions Made Explicit in BDI.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

Solving Overconstrained Temporal Reasoning Problems.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
Guaranteed Mutually Consistent Checkpointing in Distributed Computations.
Int. J. Found. Comput. Sci., 2000

Handling side-effects and cuts with selective recomputation in parallel Prolog.
Future Generation Comp. Syst., 2000

Representation and Reasoning with Multi-Point Events.
Constraints, 2000

Temporal Reasoning: A Three Way Analysis.
Proceedings of the Seventh International Workshop on Temporal Representation and Reasoning, 2000

Dual Encoding Using Constraint Coverings.
PRICAI, 2000

On Dual Encodings for Non-binary Constraint Satisfaction Problems.
Proceedings of the Principles and Practice of Constraint Programming, 2000

A Constraint Directed Model for Partial Constraint Satisfaction Problems.
Proceedings of the Advances in Artificial Intelligence, 2000

1999
Connections Between Default Reasoning and Partial Constraint Satisfaction.
Inf. Sci., 1999

A New Look At Multimedia Synchronization in Distributed Environments.
Proceedings of the 1999 International Symposium on Parallel Architectures, 1999

A New Framework for Reasoning about Points, Intervals and Durations.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

On the Behavior and Application of Constraint Weighting.
Proceedings of the Principles and Practice of Constraint Programming, 1999

Learning Logic Programs with Local Variables from Positive Examples.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

INDU: An Interval and Duration Network.
Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998
Qualitative and Quantitative Temporal Reasoning with Points and Durations (An Extended Abstract).
Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998

An Experimental Study of Reasoning with Sequences of Point Events.
Proceedings of the PRICAI'98, 1998

Dynamic Constraint Weighting for Over-Constrained Problems.
Proceedings of the PRICAI'98, 1998

Learning Linearly-Moded Programs from Entailment.
Proceedings of the PRICAI'98, 1998

Parallel Vision Computing on a Network of Workstation Clusters.
Proceedings of IAPR Workshop on Machine Vision Applications, 1998

Toward Transparent Selective Sequential Consistency in Distributed Shared Memory Systems.
Proceedings of the 18th International Conference on Distributed Computing Systems, 1998

Guaranteed Mutually Consistent Checkpointing in Distributed Computations.
Proceedings of the Advances in Computing Science, 1998

Exploring Regional Locality in Distributed Shared Memory.
Proceedings of the Advances in Computing Science, 1998

Learning from Entailment of Logic Programs with Local Variables.
Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations.
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.
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.
New Generation Comput., 1997

Selective Recomputation for Handling Side-Effects in Parallel Logic Programs.
Proceedings of the Programming Languages: Implementations, 1997

Handling Side-effects with Selective Recomputation in AND/OR Parallel Execution Models.
Proceedings of the Logic Programming, 1997

Fractional Discrimination for Texture Image Segmentation.
Proceedings of the Proceedings 1997 International Conference on Image Processing, 1997

Applied Partial Constraint Satisfaction Using Weighted Iterative Repair.
Proceedings of the Advanced Topics in Artificial Intelligence, 1997

A Generalized Framework for Reasoning with Multi-Point Events.
Proceedings of the Advances in Computing Science, 1997

Heuristic Diff Acquiring in Lazy Release Consistency Model.
Proceedings of the Advances in Computing Science, 1997

1996
Reasoning with Sequences of Point Events.
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

Changing Conditional Belief Unconditionally.
Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, 1996

An Integer Programming-Based Nurse Rostering System.
Proceedings of the Concurrency and Parallelism, 1996

Reasoning with Multi-Point Events.
Proceedings of the Advances in Artificial Intelligence, 1996

1995
Specifying Over-Constrained Problems in Default Logic.
Proceedings of the Over-Constrained Systems, 1995

1994
Reinforcement learning of iterative behaviour with multiple sensors.
Appl. Intell., 1994

Belief Revision in a Discrete Temporal Probability-Logic.
TIME, 1994

1993
Nonmonotonic inheritance reasoning in classifiers.
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.
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.
Computational Intelligence, 1991

Meta-reasoning: An Incremental Compilation Approach.
Proceedings of the Seventh International Conference on Data Engineering, 1991

1990
On the Efficiency of Logic-Based Diagnosis.
IEA/AIE (Vol. 1), 1990


  Loading...