-
Steve Barker and Peter J. Stuckey.
Flexible access control policy specification with constraint logic programming.
ACM Trans. Inf. Syst. Secur.,
6(4):501-546,
2003.
ISSN: 1094-9224.
[doi:10.1145/950191.950194]
@article{barker_stuckey_access_control_tiss03,
author = {Barker, Steve and Stuckey, Peter J.},
title = {Flexible access control policy specification with constraint logic programming},
journal = {ACM Trans.\ Inf.\ Syst.\ Secur.},
volume = 6,
number = 4,
year = 2003,
issn = {1094-9224},
pages = {501--546},
doi = {10.1145/950191.950194},
publisher = {ACM},
address = {New York, NY, USA},
}
-
Lledó Museros Cabedo and Marìa Teresa Escrig.
Modeling Motion by the Integration of Topology and Time.
J. Universal Computer Science,
9(9):1096-1122,
2003.
[WWW]
Abstract: |
A qualitative representational model and the corresponding reasoning process for integrating time and topological information is developed in this paper. In the calculus presented, topological information in function of the point of the time in which it is true is represented as an instance of the Constraint Satisfaction Problem. The resulting method can be applied to qualitative navigation of autonomous agents. The model presented in this paper will help us during the path planning task by describing the sequence of topological situations that the agent should find during its way to the target objective. A preliminary result of that application has been obtained by using qualitative representation of such spatial aspects for the autonomous simulated navigation of a Nomad-200 robot, on a structured environment of an easy corridor in a building. |
@Article{museros_escrig_modeling_motion_jucs03,
author = "Lled{\'o} Museros Cabedo and Mar{\'i}a Teresa Escrig",
title = "Modeling Motion by the Integration of Topology and Time",
journal = j-jucs,
year = "2003",
volume = "9",
number = "9",
pages = "1096--1122",
abstract = { A qualitative representational model and the corresponding reasoning process for integrating time and topological information is developed in this paper. In the calculus presented, topological information in function of the point of the time in which it is true is represented as an instance of the Constraint Satisfaction Problem. The resulting method can be applied to qualitative navigation of autonomous agents. The model presented in this paper will help us during the path planning task by describing the sequence of topological situations that the agent should find during its way to the target objective. A preliminary result of that application has been obtained by using qualitative representation of such spatial aspects for the autonomous simulated navigation of a Nomad-200 robot, on a structured environment of an easy corridor in a building. },
url = {http://www.jucs.org/jucs_9_9/modeling_motion_by_the},
}
-
Henning Christiansen and Verónica Dahl.
Logic Grammars for Diagnosis and Repair.
Intl. J. Artificial Intelligence Tools,
12(3):227-248,
2003.
Keyword(s): applications,
abduction.
@article{christ_dahl_diagnosis_and_repair_ijait03,
author = {Henning Christiansen and Ver{\'o}nica Dahl},
title = {Logic Grammars for Diagnosis and Repair},
keywords = {applications, abduction},
journal = {Intl.\ J. Artificial Intelligence Tools},
volume = 12,
number = 3,
year = 2003,
pages = {227--248},
}
-
Sebastian Brand and Eric Monfroy.
Deductive Generation of Constraint Propagation Rules.
In G. Vidal, editor,
RULE '03: 4th Intl. Workshop on Rule-Based Programming,
volume 86(2) of Electronic Notes in Theoretical Computer Science,
pages 45-60,
September 2003.
Elsevier.
Keyword(s): program generation.
@inproceedings{brand_monfroy_generation_propagation_rules_entcs03,
author = {Sebastian Brand and Eric Monfroy},
title = {Deductive Generation of Constraint Propagation Rules},
keywords = {program generation},
booktitle = {RULE '03: 4th Intl. Workshop on Rule-Based Programming},
editor = {G. Vidal},
location = {Valencia, Spain},
city = {Valencia, Spain},
pages = {45--60},
series = ENTCS,
volume = {86(2)},
year = {2003},
month = sep,
publisher = Elsevier,
}
-
Gabriel G. Bès and Verónica Dahl.
Balanced parentheses in NL texts: a useful cue in the syntax/semantics interface.
In Proc. Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface,
October 2003.
Note: Poster Paper.
Keyword(s): applications,
linguistics.
@inproceedings{bes_dahl_balanced_2003,
author = {Gabriel G. B\`es and Ver{\'o}nica Dahl},
title = {Balanced parentheses in {NL} texts: a useful cue in the syntax/semantics interface},
booktitle = {Proc.\ Lorraine-Saarland Workshop on Prospects and Advances in the Syntax/Semantics Interface},
keywords = {applications, linguistics},
location = {Nancy, France},
city = {Nancy, France},
year = 2003,
note = {Poster Paper},
month = oct,
}
-
Emmanuel Coquery and François Fages.
TCLP: A type checker for CLP(X).
In F. Mesnard and A. Serebrenik, editors,
WLPE '03,
K.U.Leuven, Department of Computer Science, Technical report CW 371,
pages 17-30,
2003.
Keyword(s): type systems.
@inproceedings{coquery_fages_type_system_wlpe03,
author = {Emmanuel Coquery and Fran{\c{c}}ois Fages},
title = {{TCLP}: A type checker for {CLP}($\mathcal{X}$)},
editor = {F. Mesnard and A. Serebrenik},
keywords = {type systems},
booktitle = WLPE03,
pages = {17--30},
year = 2003,
location = {Mumbai, India},
city = {Mumbai, India},
series = KULCW # {, Technical report CW 371},
}
-
Gregory J. Duck,
Peter J. Stuckey,
Marìa Garcìa de la Banda,
and Christian Holzbaur.
Extending arbitrary solvers with Constraint Handling Rules.
In PPDP '03,
pages 79-90,
2003.
ACM Press.
ISBN: 1-58113-705-2.
Keyword(s): implementation.
@inproceedings{duck_stuck_garcia_holz_extending_arbitrary_solvers_with_chr_ppdp03,
author = {Gregory J. Duck and Peter J. Stuckey and Mar{\'i}a {Garc{\'i}a de la Banda} and Christian Holzbaur},
title = {Extending arbitrary solvers with {C}onstraint {H}andling {R}ules},
keywords = {implementation},
pages = {79--90},
booktitle = PPDP03,
year = {2003},
isbn = {1-58113-705-2},
location = {Uppsala, Sweden},
city = {Uppsala, Sweden},
publisher = ACM,
}
-
Thom Frühwirth and Christian Holzbaur.
Source-to-Source Transformation for a Class of Expressive Rules.
In F. Buccafurri, editor,
AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE,
pages 386-397,
September 2003.
@INPROCEEDINGS{fru_holz_source2source_agp03,
AUTHOR = {Thom Fr{\"u}hwirth and Christian Holzbaur},
TITLE = {Source-to-Source Transformation for a Class of Expressive Rules},
PAGES = {386--397},
crossref = {pagp03}
}
-
Marco Gavanelli,
Evelina Lamma,
Paola Mello,
Michela Milano,
and Paolo Torroni.
Interpreting Abduction in CLP.
In F. Buccafurri, editor,
AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE,
pages 25-35,
September 2003.
Keyword(s): abduction.
@inproceedings{gavanelli_et_al_interpreting_abduction_agp03,
author = {Marco Gavanelli and Evelina Lamma and Paola Mello and Michela Milano and Paolo Torroni},
title = {Interpreting Abduction in {CLP}},
keywords = {abduction},
pages = {25--35},
crossref = {pagp03}
}
-
Eric Monfroy and Carlos Castro.
Basic components for constraint solver cooperations.
In SAC '03: Proc. 2003 ACM symposium on Applied Computing,
New York, NY, USA,
pages 367-374,
2003.
ACM.
ISBN: 1-58113-624-2.
[doi:10.1145/952532.952606]
@inproceedings{monfroy_castro_coorporations_sac03,
author = {Monfroy, Eric and Castro, Carlos},
title = {Basic components for constraint solver cooperations},
booktitle = {SAC '03: Proc.\ 2003 ACM symposium on Applied Computing},
year = {2003},
isbn = {1-58113-624-2},
pages = {367--374},
location = {Melbourne, Florida},
city = {Melbourne, Florida},
doi = {10.1145/952532.952606},
publisher = {ACM},
address = {New York, NY, USA},
}
-
Gerald Penn and Mohammad Haji-Abdolhosseini.
Topological parsing.
In EACL '03: Proc. of the 10th conf. of the European chapter of the Assoc. for Computational Linguistics,
Morristown, NJ, USA,
pages 283-290,
2003.
Association for Computational Linguistics.
ISBN: 1-333-56789-0.
[doi:10.3115/1067807.1067845]
@inproceedings{penn_ha_top_parsing_eacl03,
author = {Penn, Gerald and Haji-Abdolhosseini, Mohammad},
title = {Topological parsing},
booktitle = {EACL '03: Proc.\ of the 10th conf.\ of the European chapter of the Assoc.\ for Computational Linguistics},
year = 2003,
isbn = {1-333-56789-0},
pages = {283--290},
location = {Budapest, Hungary},
city = {Budapest, Hungary},
doi = {10.3115/1067807.1067845},
publisher = {Association for Computational Linguistics},
address = {Morristown, NJ, USA},
}
-
Tom Schrijvers,
David S. Warren,
and Bart Demoen.
CHR for XSB.
In R. Lopes and M. Ferreira, editors,
CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems,
University of Porto, Portugal, Department of Computer Science, Technical report DCC-2003-05,
pages 7-20,
December 2003.
Keyword(s): implementation.
@inproceedings{schr_warren_demoen_chr_xsb_ciclops03,
author = {Tom Schrijvers and David S. Warren and Bart Demoen},
title = {{CHR} for {XSB}},
keywords = {implementation},
editor = {R. Lopes and M. Ferreira},
booktitle = {CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems},
location = {Mumbai, India},
city = {Mumbai, India},
pages = {7--20},
month = {December},
series = {University of Porto, Portugal, } # deptcw # {, Technical report DCC-2003-05},
year = {2003}
}