Institut fuer Informationssysteme, Technische Universitaet Wien Favoritenstrasse 9-11, A-1040 Vienna, Austria;
Institut fuer Informationssysteme, Technische Universitaet Wien Favoritenstrasse 9-11, A-1040 Vienna, Austria;
Institut fuer Informationssysteme, Technische Universitaet Wien Favoritenstrasse 9-11, A-1040 Vienna, Austria;
Institut fuer Informationssysteme, Technische Universitaet Wien Favoritenstrasse 9-11, A-1040 Vienna, Austria;
机译:推广模块化非单调逻辑程序
机译:子句逻辑和非单调逻辑编程中的归纳等价
机译:非单调S4F的统一方法,(反身)自身淤积逻辑,并回答集编程
机译:模块化非单调逻辑程序的相关性驱动评估
机译:可编程LIM:在内存中的逻辑模块化和可重新配置方法
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:模块化非单调逻辑程序的相关性驱动评估
机译:LpNmR 2001 - 逻辑编程和非单调推理。国际会议(第六届)于2001年9月在奥地利维也纳举行