نتایج جستجو برای: annotated materials

تعداد نتایج: 460736  

1995
Melvin Fitting

Marek and Truszczyński have introduced an interesting mechanism for specifying revisions of knowledge bases by means of logic programs. Here we extend their idea to allow for confidence factors, multiple experts, and so on. The appropriate programming mechanism turns out to be annotated logic programs and the appropriate semantic tool, bilattices. This may be the first example of a setting in w...

2003
Zoltán Alexin János Csirik Tibor Gyimóthy Károly Bibok Csaba Hatvani Gábor Prószéky László Tihanyi

Zoltan Alexin Department of Informatics University of Szeged [email protected]—szeged.hu Tibor Gyinnithy Research Group on Artifical Intelligence at University of Szeged [email protected]—szeged.hu Csaba Hatvani Department of Informatics University of Szeged [email protected]—szeged.hu LaszlO Tihanyi MorphoLogic Budapest [email protected] Janos Csirik Department of Informatics University of Szeged csiri...

Journal: :TPLP 2017
Guido Governatori Michael J. Maher

Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in ...

2004
Martin Markowitz

the treatment of patients in the acute and early stage of hiv infection has long been a subject of intensive investigation. A handful of studies have evaluated immediate, short-term antiretroviral therapy— with and without structured treatment interruptions and/or immunebased therapies—during acute and early hiv infection in an effort to perturb the virus-host equilibrium, with the intent of ac...

2011
R. S. Roberts P. A. Pope A. Bakel Randy S. Roberts Paul A. Pope Ming Jiang Cecilia R. Aragon Timothy G. Trucano Thomas Wei Lawrence K. Chilton Alan Bakel

Journal: :Information & Software Technology 1995
Jonathan P. Bowen Susan Stepney Rosalind Barden

1 Introduction This annotated Z bibliography contains a selected list of some pertinent publications for Z users. Most of those included are readily available, either as books or in journals. A few unpublished items have been included, where they are particularly relevant and can be obtained reasonably easily. Some references are accompanied by an annotation. This may include a contents list (o...

2006
Jennifer Klot Alton Phillips Catherine Pirkle

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید