649:
432:
272:
462:
412:
482:
402:
117:
673:
knowledge representation systems with explicit representation of the dependency among beliefs, and able to maintain consistency
693:
this is more general than Non-monotonic logic, which is only the formalization of nonmonotonic reasoning using a formal logic
442:
512:
698:
668:
639:
372:
708:
452:
332:
147:
77:
718:
688:
579:
322:
302:
713:
an inference relation based on the minimal models of a formula according to some criteria of minimality
422:
97:
532:
492:
472:
292:
599:
392:
271:
87:
57:
629:
167:
227:
342:
237:
217:
122:
a summary of what is a fluent in AI, and the distinction between reified/non reified fluents
619:
187:
609:
502:
247:
67:
589:
127:
352:
112:
representing actions in logic without explicitely specifying what they do not affect
107:
47:
37:
282:
102:
a problem (solved by now) related to expressing reasoning about actions in logic
522:
382:
362:
312:
267:
177:
17:
72:
how a new belief can in incorporated into a set of previously held beliefs
517:
method for checking satisfiability in propositional or first-order logic
26:
This page links to articles to which I gave a significant contributions.
678:
417:
a method for finding a solution of a constraint satisfaction problem
507:
method used by
Ethernet devices to decide communication parameters
551:
257:
207:
337:
methods for converting arbitrary data in a stream of ASCII chars
554:
197:
137:
634:
a logic framework for representing and reasoning about actions
62:
a logic where adding new facts may invalidate old consequences
565:
Was a featured article from March 11, 2006 to
January 17, 2008
157:
42:
a formal logic that allows reasoning with default assumptions
664:
594:
one of the founders of the field of nonmonotonic reasoning
575:
33:
277:
pieces of data exchanged between a Web browser and server
614:
a different formalization of the closed world assumption
497:
methods for translating a csp into an easy-to-solve form
132:
a formalism for representing and reasoning about actions
604:
the process of deriving explanations from observations
447:
logic programs with constraints in the body of clauses
357:
some graph theory related to constraint satisfaction
537:
a node device whose content is on a remote computer
467:concurrent version of constraint logic programming
487:computational complexity of csp on finite domains
287:the part of an URL that is passed to CGI programs
661:Future work (maybe quite far away in the future)
723:a logical language for reasoning about actions
327:how programs are given access to an X11 server
347:a property related to constraint satisfaction
262:a program for manually starting an X11 server
52:a classical example in nonmonotonic reasoning
8:
703:an inference relation that is non-monotonic
572:Incomplete (someone please add something...)
397:yet another technique used in backtracking
212:eyes that watch you and report to the Boss
152:a calendar and day planner program for X11
650:X Window System protocols and architecture
433:Hybrid algorithm (constraint satisfaction)
82:the assumption that knowledge is complete
584:a declarative language similar to Prolog
527:a node device used to mount disk images
543:
463:Concurrent constraint logic programming
437:algorithms combining different methods
387:another technique used in backtracking
232:an X11 program showing some animations
192:an X11 server running in an X11 window
29:
413:Local search (constraint satisfaction)
172:how selected text is exchanged in X11
92:a logic for reasoning about knowledge
483:Complexity of constraint satisfaction
297:improved handling of keyboard in X11
182:the background of X11, but not quite
7:
457:summary of topics about constraints
403:Constraint satisfaction dual problem
24:
683:a computational complexity class
377:a technique used in backtracking
367:a techinque used in backtracking
242:a sort of server for X11 servers
30:Done (I'm done with them, almost)
644:an automated planning formalism
624:a logic of rules and exceptions
270:
118:Fluent (artificial intelligence)
699:Nonmonotonic inference relation
550:Featured article; on Main Page
477:entailment between constraints
427:another reformulation of a CSP
252:non-rectangular windows in X11
1:
443:Constraint logic programming
317:parameters for X11 programs
513:Method of analytic tableaux
740:
222:session management in X11
142:a library for X11 clients
669:Truth maintenance systems
654:technicalities about X11
640:Hierarchical task network
407:a reformulation of a CSP
373:Look-ahead (backtracking)
307:the base protocol of X11
709:Preferential entailment
453:Constraint satisfaction
333:Binary to text encoding
148:plan (calendar program)
78:Closed World Assumption
689:Nonmonotonic reasoning
580:Answer set programming
323:X Window authorization
303:X Window core protocol
162:an X11 window manager
719:Temporal action logic
423:Hidden transformation
98:Yale shooting problem
533:Network block device
493:Decomposition method
473:Constraint inference
293:X keyboard extension
600:Abductive reasoning
393:Constraint learning
202:X11 virtual server
88:Autoepistemic logic
58:Non-monotonic logic
630:Situation calculus
168:X Window selection
727:
726:
658:
657:
541:
540:
343:Local consistency
238:X display manager
218:X session manager
731:
665:
620:Defeasible logic
576:
566:
563:
557:
548:
274:
34:
739:
738:
734:
733:
732:
730:
729:
728:
663:
610:Circumscription
574:
569:
564:
560:
549:
545:
503:Autonegotiation
248:Shape extension
68:Belief revision
32:
22:
21:
20:
12:
11:
5:
737:
735:
725:
724:
721:
715:
714:
711:
705:
704:
701:
695:
694:
691:
685:
684:
681:
675:
674:
671:
662:
659:
656:
655:
652:
646:
645:
642:
636:
635:
632:
626:
625:
622:
616:
615:
612:
606:
605:
602:
596:
595:
592:
590:Raymond Reiter
586:
585:
582:
573:
570:
568:
567:
558:
542:
539:
538:
535:
529:
528:
525:
519:
518:
515:
509:
508:
505:
499:
498:
495:
489:
488:
485:
479:
478:
475:
469:
468:
465:
459:
458:
455:
449:
448:
445:
439:
438:
435:
429:
428:
425:
419:
418:
415:
409:
408:
405:
399:
398:
395:
389:
388:
385:
379:
378:
375:
369:
368:
365:
359:
358:
355:
349:
348:
345:
339:
338:
335:
329:
328:
325:
319:
318:
315:
309:
308:
305:
299:
298:
295:
289:
288:
285:
279:
278:
275:
264:
263:
260:
254:
253:
250:
244:
243:
240:
234:
233:
230:
224:
223:
220:
214:
213:
210:
204:
203:
200:
194:
193:
190:
184:
183:
180:
174:
173:
170:
164:
163:
160:
154:
153:
150:
144:
143:
140:
134:
133:
130:
128:Event calculus
124:
123:
120:
114:
113:
110:
104:
103:
100:
94:
93:
90:
84:
83:
80:
74:
73:
70:
64:
63:
60:
54:
53:
50:
44:
43:
40:
31:
28:
23:
15:
14:
13:
10:
9:
6:
4:
3:
2:
736:
722:
720:
717:
716:
712:
710:
707:
706:
702:
700:
697:
696:
692:
690:
687:
686:
682:
680:
677:
676:
672:
670:
667:
666:
660:
653:
651:
648:
647:
643:
641:
638:
637:
633:
631:
628:
627:
623:
621:
618:
617:
613:
611:
608:
607:
603:
601:
598:
597:
593:
591:
588:
587:
583:
581:
578:
577:
571:
562:
559:
556:
553:
547:
544:
536:
534:
531:
530:
526:
524:
521:
520:
516:
514:
511:
510:
506:
504:
501:
500:
496:
494:
491:
490:
486:
484:
481:
480:
476:
474:
471:
470:
466:
464:
461:
460:
456:
454:
451:
450:
446:
444:
441:
440:
436:
434:
431:
430:
426:
424:
421:
420:
416:
414:
411:
410:
406:
404:
401:
400:
396:
394:
391:
390:
386:
384:
381:
380:
376:
374:
371:
370:
366:
364:
361:
360:
356:
354:
353:Ordered graph
351:
350:
346:
344:
341:
340:
336:
334:
331:
330:
326:
324:
321:
320:
316:
314:
311:
310:
306:
304:
301:
300:
296:
294:
291:
290:
286:
284:
281:
280:
276:
273:
269:
266:
265:
261:
259:
256:
255:
251:
249:
246:
245:
241:
239:
236:
235:
231:
229:
226:
225:
221:
219:
216:
215:
211:
209:
206:
205:
201:
199:
196:
195:
191:
189:
186:
185:
181:
179:
176:
175:
171:
169:
166:
165:
161:
159:
156:
155:
151:
149:
146:
145:
141:
139:
136:
135:
131:
129:
126:
125:
121:
119:
116:
115:
111:
109:
108:Frame problem
106:
105:
101:
99:
96:
95:
91:
89:
86:
85:
81:
79:
76:
75:
71:
69:
66:
65:
61:
59:
56:
55:
51:
49:
48:Nixon diamond
46:
45:
41:
39:
38:Default logic
36:
35:
27:
19:
561:
546:
283:Query string
25:
523:Loop device
383:Backjumping
363:Backmarking
313:X resources
268:HTTP cookie
178:Root window
18:User:Tizio
228:XPenguins
679:NP^NP
552:8 May
258:Xinit
208:Xeyes
188:Xnest
16:<
555:2006
198:Xvfb
138:Xlib
158:wm2
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.