-
Chitta Baral and Michael Gelfond.
Logic Programming and Knowledge Representation.
Journal of Logic Programming,
19/20:73-148,
1994.
Keyword(s): logic programming,
knowledge representation,
nonmonotonic logic.
@Article{Baral:1994:LPK,
author = "Chitta Baral and Michael Gelfond",
title = "Logic Programming and Knowledge Representation",
journal = "Journal of Logic Programming",
volume = "19/20",
pages = "73--148",
keywords = "logic programming, knowledge representation, nonmonotonic logic",
year = "1994",
}
-
Yves Deville and Kung-Kiu Lau.
Logic Program Synthesis.
Journal of Logic Programming,
19/20:321-350,
1994.
Keyword(s): program synthesis,
logic programming,
survey.
@Article{Deville:1994:LPS,
author = "Yves Deville and Kung-Kiu Lau",
title = "Logic Program Synthesis",
journal = "Journal of Logic Programming",
volume = "19/20",
pages = "321--350",
keywords = "program synthesis, logic programming, survey",
year = "1994",
}
-
Robert P. Goldman and Mark S. Broddy.
Representing Uncertainty in Simple Planners.
KR'94: Principles of Knowledge Representation and Reasoning,
1994.
Keyword(s): planning.
@Article{Goldman:1994:RUS,
author = "Robert P. Goldman and Mark S. Broddy",
title = "Representing Uncertainty in Simple Planners",
journal = "KR'94: Principles of Knowledge Representation and Reasoning",
keywords = "planning",
year = "1994",
}
-
Jörg-Uwe Kietz and Saso Dzeroski.
Inductive Logic Programming and Learnability.
SIGART Bulletin,
5(1):22-32,
1994.
Keyword(s): inductive learning,
inductive logic programming.
@Article{Kietz:1994:ILP,
author = "J{\"{o}}rg-Uwe Kietz and Saso Dzeroski",
title = "Inductive Logic Programming and Learnability",
journal = "SIGART Bulletin",
volume = "5",
number = "1",
pages = "22--32",
keywords = "inductive learning, inductive logic programming",
year = "1994",
}
-
Raymond J. Mooney and John M. Zelle.
Integrating ILP and EBL.
SIGART Bulletin,
5(1):12-21,
1994.
Keyword(s): inductive logic programming,
explanation-based reasoning,
machine learning.
@Article{Mooney:1994:IIE,
author = "Raymond J. Mooney and John M. Zelle",
title = "Integrating {ILP} and {EBL}",
journal = "SIGART Bulletin",
volume = "5",
number = "1",
pages = "12--21",
keywords = "inductive logic programming, explanation-based reasoning, machine learning",
year = "1994",
}
-
Stephen Muggleton and Luc De Raedt.
Inductive Logic Programming: Theory and Methods.
Journal of Logic Programming,
19/20:629-679,
1994.
Keyword(s): inductive logic programming.
@Article{Muggleton:1994:ILP,
author = "Stephen Muggleton and Luc De Raedt",
title = "Inductive Logic Programming: Theory and Methods",
journal = "Journal of Logic Programming",
volume = "19/20",
pages = "629--679",
keywords = "inductive logic programming",
year = "1994",
}
-
D. Cho,
F. Kusunoki,
S. Ono,
and T. Terano.
Developing a Multi-Agent Model for Distributed Knowledge Systems.
In Proceedings of International Conference on Expert Systems for Development,
volume 28-31,
pages 49-54,
1994.
Keyword(s): distributed knowledge system,
machine learning.
@InProceedings{Cho:1994:DMA,
author = "D. Cho and F. Kusunoki and S. Ono and T. Terano",
title = "Developing a Multi-Agent Model for Distributed Knowledge Systems",
booktitle = "Proceedings of International Conference on Expert Systems for Development",
volume = "28-31",
pages = "49--54",
keywords = "distributed knowledge system, machine learning",
year = "1994",
}
-
Tim Finin,
Richard Fritzson,
Don McKay,
and Robin McEntire.
KQML as an Agent Communication Language.
In CIKM '94: Proceedings of the Third International Conference on Information and Knowledge Management,
pages 456-463,
1994.
Keyword(s): agent communication.
@InProceedings{Finin:1994:KAC,
author = "Tim Finin and Richard Fritzson and Don McKay and Robin McEntire",
title = "{KQML} as an Agent Communication Language",
booktitle = "CIKM '94: Proceedings of the Third International Conference on Information and Knowledge Management",
pages = "456--463",
keywords = "agent communication",
year = "1994",
}
-
Peter Haddawy and AnHai Doan.
Abstracting Probabilistic Actions.
In Tenth Conference on Uncertainty in Artificial Intelligence,
1994.
Keyword(s): planning.
@InProceedings{Haddawy:1994:APA,
author = "Peter Haddawy and AnHai Doan",
title = "Abstracting Probabilistic Actions",
booktitle = "Tenth Conference on Uncertainty in Artificial Intelligence",
keywords = "planning",
year = "1994",
}
-
Peter Haddawy and Meliani Suwandi.
Decision-Theoretic Refinement Planning Using Inheritance Abstraction.
In International Conference on AI Planning and Scheduling,
pages 266-271,
1994.
Keyword(s): decision theory.
@InProceedings{Haddawy:1994:DTR,
author = "Peter Haddawy and Meliani Suwandi",
title = "Decision-Theoretic Refinement Planning Using Inheritance Abstraction",
booktitle = "International Conference on AI Planning and Scheduling",
pages = "266--271",
keywords = "decision theory",
year = "1994",
}
-
Mehmet Ali Orgun and Wanli Ma.
An Overview of Temporal and Modal Logic Programming.
In ICTL'94: The 1st International Conference on Temporal Logic,
1994.
Springer-Verlag.
Keyword(s): modal logic,
temporal logic,
agent programming language,
survey.
@InProceedings{Orgun:1994:OTM,
author = "Mehmet Ali Orgun and Wanli Ma",
title = "An Overview of Temporal and Modal Logic Programming",
booktitle = "ICTL'94: The 1st International Conference on Temporal Logic",
publisher = "Springer-Verlag",
keywords = "modal logic, temporal logic, agent programming language, survey",
year = "1994",
}
-
Sandip Sen,
Mahendra Sekaran,
and John Hale.
Learning to Coordinate without Sharing Information.
In Proceedings of the Twelfth National Conference on Artificial Intelligence,
Seattle, WA,
pages 426-431,
1994.
Keyword(s): multi-agent system,
multi-agent coordination,
multi-agent learning.
@InProceedings{Sen:1994:LCS,
author = "Sandip Sen and Mahendra Sekaran and John Hale",
title = "Learning to Coordinate without Sharing Information",
booktitle = "Proceedings of the Twelfth National Conference on Artificial Intelligence",
address = "Seattle, WA",
pages = "426--431",
keywords = "multi-agent system, multi-agent coordination, multi-agent learning",
year = "1994",
}
-
W. van der Hoek,
B. van Linder,
and J.-J. Ch. Meyer.
A Logic of Capabilities.
In Proceedings of the Third International Symposium on Logical Foundations of Computer Science,
pages 366-378,
1994.
Springer-Verlag.
Keyword(s): logics,
modal logic,
dynamic logic,
KARO framework.
@InProceedings{vanderHoek:1994:LC,
author = "W. van der Hoek and B. van Linder and J.-J. Ch. Meyer",
title = "A Logic of Capabilities",
booktitle = "Proceedings of the Third International Symposium on Logical Foundations of Computer Science",
publisher = "Springer-Verlag",
pages = "366--378",
keywords = "logics, modal logic, dynamic logic, KARO framework",
year = "1994",
}